MK
Всем привет!
Size: a a a
2017 December 13
e
ну все, я теперь крутой
к
хм, в статье выше немного другое определение натурального преобразования
к
то есть я представлял натуральное преобравание как просто
а в статье как "функцию", которая принимает объект
eta :: forall a phi psi. (Functor phi, Functor psi)
=> phi a -> psi a
а в статье как "функцию", которая принимает объект
a категории C и отдает морфизм phi a -> psi aк
вопрос лишь в том, что понимать под натуральным преобразаванием
1) сам морфизм
2) морфизм, который принимает
1) сам морфизм
phi a -> psi a2) морфизм, который принимает
a и отдает стрелку psi a -> phi a (как в статье)AZ
ку-ку )
VG
к
вот этот момент не очень ясен тогда
It [nat trans] associates to each object of \mathcal{C} a morphism of \mathcal{D} in the following way (usually, not sets are discussed here, but proper classes, so I do not use term “function” for this \mathbf{Ob}(\mathcal C) \to \mathbf{Mor}(\mathcal D) mapping)
It [nat trans] associates to each object of \mathcal{C} a morphism of \mathcal{D} in the following way (usually, not sets are discussed here, but proper classes, so I do not use term “function” for this \mathbf{Ob}(\mathcal C) \to \mathbf{Mor}(\mathcal D) mapping)
к
ЕО
Ну обычно под натуральным преобразованием понимают набор стрелок в категории D, удовлетворяющий свойствам каким-то там
ЕО
Проиндексированный объектами из C набор стрелок, да
2017 December 22
AZ
целых 11 сообщений!
AZ
и 18 членов )
ЕО
Ну явно люди не часто сталкиваются с проблемы в области теорката. Плюс надо начать активную акцию в хаскель-чаты — отправлять с категори-теоретик проблемами сюда :)
к
было бы круто, если бы в шапке хаскель чата добавили бы ссылки на этот чат (и по возможности на лерн)
γσ
по поводу темы чата
а какую литературу можете порекомендовать для совсем теории?
а какую литературу можете порекомендовать для совсем теории?
AZ
LHFG ?
γσ
там хорошо раскрывается теория категорий?оо
к
что за lhfg? Знаю книгу с похожей аббр, но тут же вопрос теоркат
ЕО
В info есть пара книжек