Functors rock - 2

[timelets]

Влад был прав; с функторами все гораздо лучше получается.





p.s. все-таки теория категорий это гениальное изобретение.

Comments

[juan_gandhi]

О, вот именно.

Я, кстати, думаю, что ТК - не изобретение, а открытие. Отражает суть вещей, как мы ее воспринимаем. (Тоже типа функтор).

Насчет же картинки - там вряд ли обратный функтор. С функторами такая фигня... короче, там, скорее всего пара сопряженных, и порожденные монада и комонада. (Могу руками показать при случае.)

[timelets]

Да, с функторами надо разбираться, но уже более-менее понятно, что они делают. В книжке Abstract and Concrete Categories: The Joy of Cats есть хорошее объяснение для нематематиков.