кратенько так
Jan. 26th, 2012 10:50 amВчера шестеро нас было на Бакате
Обсуждали монадическую силу и апликативные функторы
Обсуждали пример несильной монады в ccc
позже, утром уже, глядя в сереющий потолок, я понял, что несильную монаду можно и в топосе придумать, например, в Set2; всё тот же пример, монада будет
Потом уже прочитал у Моджи, что если в категории достаточно точек, то все монады сильные. Понятно, мой пример как раз подходит. У Моджи же узнал, что есть функторная сила,
Вообще непонятно, чем это я был занят столько лет, если кругом столько интересного и замечательного.
Например, оказалось, что у меня второе издание МакЛейна, а читал я первое, а во втором и когерентность тебе, и диаграммы Фейнмана.
Мир прекрасен - правда,
anna_smirnova?
Обсуждали монадическую силу и апликативные функторы
Обсуждали пример несильной монады в ccc
позже, утром уже, глядя в сереющий потолок, я понял, что несильную монаду можно и в топосе придумать, например, в Set2; всё тот же пример, монада будет
x ↦ x + x1
where x1
- это 0 → x1
.Потом уже прочитал у Моджи, что если в категории достаточно точек, то все монады сильные. Понятно, мой пример как раз подходит. У Моджи же узнал, что есть функторная сила,
X×T(Y) → T(X×Y)
, а есть тензорная сила, T(X)×T(Y) → T(X×Y)
, но эти две силы являются равнодействующими, так что это.Вообще непонятно, чем это я был занят столько лет, если кругом столько интересного и замечательного.
Например, оказалось, что у меня второе издание МакЛейна, а читал я первое, а во втором и когерентность тебе, и диаграммы Фейнмана.
Мир прекрасен - правда,
![[livejournal.com profile]](https://www.dreamwidth.org/img/external/lj-userinfo.gif)