NI
Вот-вот ;-)
Size: a a a
2018 February 23
ЗП
простите)
NI
Ну ещё иногда её называют конечной, но имхо, это слово уже как-то занято.
ЗП
ну в тк есть объекты куда все стрелки стекают и откуда
ЗП
это и есть как бы некие экстремумы
ЗП
ну походу также как-то с T-algebras?
NI
Экстремумы, хоть в каком-то "таком" понимании, это (ко)универсальности...
ЗП
Экстремумы, хоть в каком-то "таком" понимании, это (ко)универсальности...
лимиты/колимиты?
NI
Дане. Ну есть ну просто T-алгебры.
Для соответствующих T, несложно показать, что морфизм этих алгебр соответствует обычному гомоморфизму обычных алгебраических структур типа моноидов
Для соответствующих T, несложно показать, что морфизм этих алгебр соответствует обычному гомоморфизму обычных алгебраических структур типа моноидов
NI
лимиты/колимиты?
Йа не очень понимаю, про что вопрос.
Вполне конкретно, я дал ссылку, где картинками объясняется, что такое алгебра для монады...
Вполне конкретно, я дал ссылку, где картинками объясняется, что такое алгебра для монады...
NI
Ну могу попробовать повторить тут, но зачем...
ЗП
я про то, как их этого сопряжения делать?
ЗП
Ну могу попробовать повторить тут, но зачем...
мне не понятно как из алгебр сопряжения получаются
Oℕ
чот далеко вы от сопряжений ускакали
ЗП
Every adjunction (F, G, η, ε) : C → D gives rise to a monad (GF, η,GεF). We call this the monad defined on C by the adjunction.
NI
мне не понятно как из алгебр сопряжения получаются
Категория алгебр понятна?
Забывающий из неё понятен?
Забывающий из неё понятен?
ЗП
Категория алгебр понятна?
Забывающий из неё понятен?
Забывающий из неё понятен?
ну более менее
NI
Ну так вот это забывающий ВНЕЗАПНО правый сопряжённый.
ЗП
ЭМ алгебра есть терминальная
Клейсли - инициарная
?
Клейсли - инициарная
?