ЗП
ну это законы да
Size: a a a
2018 February 23
NI
НЕТ
ЗП
T a -> a
NI
Катаморфзим, это такой же морфизм T-алгебр, но только от инициальной алгебры.
ЗП
это же аглебра
ЗП
похоже на extract из comonad
NI
Есть понятие T-алгебры, морфизма (квадрата) между ними.
Есть и инициальная алгебра, это важное понятие но тут сейчас не об этом.
Есть и инициальная алгебра, это важное понятие но тут сейчас не об этом.
ЗП
Катаморфзим, это такой же морфизм T-алгебр, но только от инициальной алгебры.
я в контексте F-algerbas только игрался с этим
NI
Нувот алгебра для монады, это более сложное понятие.
NI
Вообще, идеологически, это такое воплощение идеи "вот есть свободные алгебры, а какие надо, это факторы от этих свободных".
ЗП
t-algebras еще же называют алгебры монад?
NI
Не. Есть понятие T-алгебры, это просто морфизмы T x → x
А алгебры для монады, там ищщо надо соблюдать ;-)
А алгебры для монады, там ищщо надо соблюдать ;-)
ЗП
Не. Есть понятие T-алгебры, это просто морфизмы T x → x
А алгебры для монады, там ищщо надо соблюдать ;-)
А алгебры для монады, там ищщо надо соблюдать ;-)
ну вот поясни чутка)
NI
Нутак, я ж сцылки дал...
Что есть вот T-алгебра, это T x → x
Алгебра для монады, это чуть сложнее —
https://en.wikipedia.org/wiki/Monad_(category_theory)#Algebras_for_a_monad
Что есть вот T-алгебра, это T x → x
Алгебра для монады, это чуть сложнее —
https://en.wikipedia.org/wiki/Monad_(category_theory)#Algebras_for_a_monad
NI
Нувот этот квадрат, это как раз, что-то типаа ассоциативности.
NI
Можно попробовать рассмотреть прям любую монаду и алгебру.
И убедиться, что я прав!!
;-)
И убедиться, что я прав!!
;-)
ЗП
Можно попробовать рассмотреть прям любую монаду и алгебру.
И убедиться, что я прав!!
;-)
И убедиться, что я прав!!
;-)
ну вот алгебра для списка какая?
[a] -> a
[a] -> a
ЗП
join [[a]] -> [a] -> a
ЗП
T h - это fmap join?