_:
И доков нормальных нет, которые объяснят зачем
Size: a a a
2020 June 29
AG
Продолжай
ЗП
У хаскеля, все ещё хуже с доками и ничего)
ЗП
А) это знакомо
AG
А) это знакомо
ну профункторы в целом это категорификация отношений
ЗП
ну профункторы в целом это категорификация отношений
А монада это предпучок в степени профунктора)
AG
в степени профунктора это как
ЗП
pr ^ profunctor
AG
понятнее не стало
ЗП
exists b. (p a b, f b)
forall b. p a b -> f b
forall b. p a b -> f b
AG
и из чего следует что это монада?
ЗП
Из этого выразима cont monad, а из нее любая
AG
больше на codensity похоже
ЗП
больше на codensity похоже
И cont выразим)
ЗП
Cont выразим через Codensity
AG
хм, выглядит как этакий окольный пересказ определения про "моноид в моноидальной категории эндофункторов с композицией"
AG
экспоненциал то берется из этой же самой категории
ЗП
Ну может, но вот это общее даже чем Кан