w
welcometotheclubbuddy in ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
Велью
Нужен телевизор за 300кк, коджимба гений, на кончиках пальцев.
Size: a a a
ПОКА ОДЕРСКИ НЕ ВИДИТ (наш M.D. (потому что его нет. нельзя увидеть то, чего нет.))
450 membersпожаловаться на группу
2019 December 23
Oℕ
то F[A] => A - алгебра эндофунктора
λ
потому что алгеброй является тьюпл f algebra
Oℕ
я даже не знаю, как ответить на этот вопрос
ᛒ
почему ты назвал F[A]=>A алгеброй
Почему нет
Oℕ
λ
а не только морфизм
λ
then an F-algebraF-algebra is a tuple (A, α), where A is an object of C and α is a C-morphism F(A) → A.
λ
из той ссылки что ты давал
Oℕ
ты ща прочитал википедию и пытаешься задушить тем ,что пока ещё не понял
ᛒ
какой бля ьюпл пёс
Мб типа кериер и набор операций
λ
нет, так ты ж сам скинул
λ
я не душу, эт вопрос
Oℕ
это обычная математическая лабуда, если у тебя есть определение, ты можешь неявно зафиксировать несколько его кусков и назвать этим определением оставшуюся часть
ᛒ
then an F-algebraF-algebra is a tuple (A, α), where A is an object of C and α is a C-morphism F(A) → A.
Ну вот да, А кариер а а сэт операций
λ
просто без ограничения что F это эндофунктор эт наверное не пашет