Гордиенко А.С. - Теория категорий.Часть 2 - 6. Универсальное свойство категории Эйленберга-Мура
Универсальное свойство категории Эйленберга-Мура. Монадические функторы. Категория Клейсли
00:00:15 Категория Эйленберга — Мура (повторение)
00:03:59 Пара функторов, создающих монаду, которая порождает Категория Эйленберга — Мура
00:13:50 Универсальное свойство категории Эйленберга — Мура
00:43:32 Монадический функтор
00:46:59 Примеры
01:06:29 Категория Кейсли
Ссылка на плейлист:
#мгу #мехмат #гордиенко #теориякатегорий