Гордиенко А.С. - Теория категорий - 13. Единица и коединица сопряжения. Треугольные тождества

Единица и коединица сопряжения. Треугольные тождества. Достаточные условия сопряжённости. Функтор с разными левым и правым сопряженными 00:00:15 Сопряженные функторы (повторение) 00:03:12 Единица и коединица сопряжения 00:05:55 Единица и коединица сопряжения — естественные преобразования 00:17:09 Выражение естественной биекции через единицу и коединицу сопряжения 00:24:45 Коединица (единица) сопряжения — универсальный отталкивающий (притягивающий) объект в соответствующей категории запятой 00:29:44 Треугольные тождества (теорема) 00:37:12 Достаточные условия сопряженности (первая теорема) 00:51:56 Достаточные условия сопряженности (вторая теорема) 01:03:43 Комментарий о свободных группах 01:15:39 Достаточные условия сопряженности (третья теорема) 01:28:07 Функтор с разными левым и правым сопряженными Ссылка на плейлист: #мгу #мехмат #математика #теориякатегорий #гордиенко