Я, кстати, думаю, что ТК - не изобретение, а открытие. Отражает суть вещей, как мы ее воспринимаем. (Тоже типа функтор).
Насчет же картинки - там вряд ли обратный функтор. С функторами такая фигня... короче, там, скорее всего пара сопряженных, и порожденные монада и комонада. (Могу руками показать при случае.)
![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
no subject
Date: 2017-06-24 04:22 pm (UTC)Я, кстати, думаю, что ТК - не изобретение, а открытие. Отражает суть вещей, как мы ее воспринимаем. (Тоже типа функтор).
Насчет же картинки - там вряд ли обратный функтор. С функторами такая фигня... короче, там, скорее всего пара сопряженных, и порожденные монада и комонада. (Могу руками показать при случае.)