x 1.00
Лекция 14. Монады и комонады
- 00:16Примеры многообразий алгебраических структур
- 10:42Ядерная пара, конгруэнция и T-конгруэнция
- 22:32Относительно свободные алгебраические структуры
- 35:47Единица и коединица сопряжения
- 41:55Треугольные тождества
- 46:35Единица и коединица рассматриваемого свободно-забывающего сопряжения
- 53:54Монада
- 01:00:01Алгебра над монадой
- 01:04:27Комонада
- 01:06:52Монада и комонада, отвечающие сопряжению функторов
- 01:10:09Монада и алгебра над монадой, отвечающие рассматриваемому свободно-забывающему сопряжению
- 01:17:38Симплициальные объекты, отвечающие комонадам