NI
Там вполне конкретно показано, как из монады получить пару сопряжённых функторов.
Size: a a a
2018 February 22
NI
Клейсли — это категория с немного "долбанутыми" стрелками относительно оригинальной категории.
NI
Ну там же по ссылкам всё предельно ясно... Наверное...
ЗП
Клейсли — это категория с немного "долбанутыми" стрелками относительно оригинальной категории.
ну стрелки вида
a -> m bNI
ну я про это читал тут (про то, что монаду)
http://www.stephendiehl.com/posts/adjunctions.html
http://www.stephendiehl.com/posts/adjunctions.html
Хороший хаскельных пост ;-)
Не, ну и так чотта объясняют, даже диаграммы правильные рисуют.
Не, ну и так чотта объясняют, даже диаграммы правильные рисуют.
NI
ну стрелки вида
a -> m bНу да.
ЗП
Хороший хаскельных пост ;-)
Не, ну и так чотта объясняют, даже диаграммы правильные рисуют.
Не, ну и так чотта объясняют, даже диаграммы правильные рисуют.
лучшие рисунки тут http://thedeemon.livejournal.com/67392.html
ЗП
странно что
F-algebras, F-функтор
T-algebras, T-?
хотя T-algebras про монады (сдается мне это связано с тензором)
F-algebras, F-функтор
T-algebras, T-?
хотя T-algebras про монады (сдается мне это связано с тензором)
AG
монады раньше вообще тройками называли
AG
терминология в теоркате не самое сильное место :)
NI
лучшие рисунки тут http://thedeemon.livejournal.com/67392.html
Да, хорошие рисунки.
NI
странно что
F-algebras, F-функтор
T-algebras, T-?
хотя T-algebras про монады (сдается мне это связано с тензором)
F-algebras, F-функтор
T-algebras, T-?
хотя T-algebras про монады (сдается мне это связано с тензором)
Это к чему?
Бывают F-алгебры, а бывают алгебры для монады, там более сложная связь с основным функтором (используются и свойства монады).
Бывают F-алгебры, а бывают алгебры для монады, там более сложная связь с основным функтором (используются и свойства монады).
NI
Любая алгебра для монады T является T-алгеброй, но не наоборот.
ЗП
Любая алгебра для монады T является T-алгеброй, но не наоборот.
ну это понятно из сужения абстракции
NI
Я не понял, что именно непонятно.
И поэтому, вероятно, плохо объяснил.
И поэтому, вероятно, плохо объяснил.
ЗП
Я не понял, что именно непонятно.
И поэтому, вероятно, плохо объяснил.
И поэтому, вероятно, плохо объяснил.
почему T вот и весь мой вопрос был)
ЗП
мисматч нейминга
NI
Даблин, какая разница, чотам за "F" внутри названия "F-алгебра"...
ЗП
Даблин, какая разница, чотам за "F" внутри названия "F-алгебра"...
ну и по сути F-algebra это T-algebra только в другой категории
ЕО
ну понятно же нельзя сидеть в чате ФП, надо в 256 чатиках про ФП
Эй, это чат не про ФП