λ
Вот куда может глупость привести. Я придумал вырожденный мир
Категория, в которой все объекты изоморфны, называется вырожденной.
Тем не менее, такие категории имеют смысл в качестве группоидов.
Size: a a a
2019 December 17
Oℕ
Вот куда может глупость привести. Я придумал вырожденный мир
не ты же
λ
Да что ж такое
TA
Ещё вопросик:
Что такое монада?
Что такое монада?
YS
Tel Asc
Ещё вопросик:
Что такое монада?
Что такое монада?
NI
Tel Asc
Ещё вопросик:
Что такое монада?
Что такое монада?
Да, ерунда всякая, не бери в голову ;-) ;-)
Если серьёзнее, то выше дали ссылку на вики.
Но видимо, полноценно понять можно, если знать про сопряжённые функторы.
Если серьёзнее, то выше дали ссылку на вики.
Но видимо, полноценно понять можно, если знать про сопряжённые функторы.
TA
Оу щит,нифига не понятно.
TA
Что подразумевается под T²?
SK
T o T = T^2
о - композиция ендофункторов
о - композиция ендофункторов
SK
Я бы не сказал, что “что такое монада” это вопросик)
Вопросиком наверное было бы дать интуитивное понятие монады, со строгими определениями можно очень долго разбираться и вникать.
Вопросиком наверное было бы дать интуитивное понятие монады, со строгими определениями можно очень долго разбираться и вникать.
SK
напиши пару прог на Хаскеле, поработай с IO и станет понятней. я бы сказал, что монада это схлопывающейся контекст (смотри join или bind).
AZ
Привет. Глупый вопрос по книжке
AZ
Почему Gf * a * Ff^-1 а не Ff^-1 * a * Gf ?
TA
напиши пару прог на Хаскеле, поработай с IO и станет понятней. я бы сказал, что монада это схлопывающейся контекст (смотри join или bind).
Ммм,я знаком с хаскелем 5-6+ месяцев.
Я знаю что такое монада в хаскеле,но не знаю чем она является в теории категорий.
Я знаю что такое монада в хаскеле,но не знаю чем она является в теории категорий.
AZ
я так понимаю, эта диаграммка показывает то что bind разворачивает один слой монадки, и превращает m m T в m T
AZ
ну а диаграммка показывает правила монадок вроде правой/левой единицы и композиции
AZ
но я ненастоящий программист, могу сказать фигню
PG
Почему Gf * a * Ff^-1 а не Ff^-1 * a * Gf ?
Потому что "тип" композиции
(b → c) → (a → b) → (a → c)