NI
Это другие аспекты.
Size: a a a
2018 February 23
ЗП
непонятно что для списка должно быть
ЗП
забывающий Mon -> Set
ЗП
мы стираем часть инфы о моноиде
Oℕ
да тут не про список
Oℕ
берём типа алгебру, забываем, что это алгебра, только помним какой был объект
Oℕ
это забывающий
Oℕ
а в ту сторону, типа берём элемент, запоминаем и из любого F x константно возвращаем этот запомненный,
NI
берём типа алгебру, забываем, что это алгебра, только помним какой был объект
Вооо!
ЗП
Вооо!
ну это понятно, был список стал просто что ?
ЗП
множество?
ЗП
у которого ничего кроме мощности и нет?
Oℕ
была алгебра
Oℕ
для монады
Oℕ
у неё был известный тип (объект)
NI
Олег вон правильно говорит.
NI
Была алгебра, т.е., морфизм F a → a
Забывающий из неё делает просто a
Забывающий из неё делает просто a
NI
Был морфизм алгебр (так-то, типаа гомоформизм), это аж целый квадрат.
Ну и от целого квадрата, когда забыли, получился просто обычный морфизм.
Ну и от целого квадрата, когда забыли, получился просто обычный морфизм.
ЗП
Был морфизм алгебр (так-то, типаа гомоформизм), это аж целый квадрат.
Ну и от целого квадрата, когда забыли, получился просто обычный морфизм.
Ну и от целого квадрата, когда забыли, получился просто обычный морфизм.
это все понятно абстрактно) а на примере списка что?
AG
это вы эйленберг мура пилите?