Oℕ
там это не множество, а объект
Size: a a a
2019 December 12
МБ
Я исхожу из определения, что монада это моноид в категории эндофункторов. Разве это не значит что монада всегда структура?
В категориях несколько иное определение моноидов. Обобщённое
Oℕ
Я исхожу из определения, что монада это моноид в категории эндофункторов. Разве это не значит что монада всегда структура?
m
Спасибо
2019 December 13
B
V
Brenoritvrezorkre
https://www.amazon.com/Categories-Working-Philosopher-Elaine-Landry/dp/019874899X — ни у кого случайно нет?
на либгене всё есть
B
На либгене не всё есть.
V
но это есть
B
Да, у меня странность какая-то была: показало, что нет. Возможно, не по названию искал. Утренняя невнимательность.
B
Вопрос закрыт, спасибо.
2019 December 16
AG
https://www.dropbox.com/s/caohqbkeffn10tq/coends.pdf?dl=0 Loregian, "Coend calculus: the book formerly known as ‘This is the co/end’"
NI
А чем оно отличается? Обшибками?
AG
84 страницы vs 344
AG
в 4 раза длиннее :)
NI
Объёмнее!
TA
Привет всем.
TA
Извините за глупый вопрос.
Функтор преобразует одну категорию в другую?
Или может также преобразовывать отдельно морфизмы и объекты?
Функтор преобразует одну категорию в другую?
Или может также преобразовывать отдельно морфизмы и объекты?
KN
категория состоит из морфизмов и объектов
действие функтора задаётся отдельно и на морфизмах, и на объектах
действие функтора задаётся отдельно и на морфизмах, и на объектах
A
функтор ставит в соответствие объектам объекты, а морфизмам морфизмы
TA
Можно ли считать функтор функцией?