Гордиенко А.С. - Теория категорий - 12. Малые в смысле подобъектов и факторобъектов категории

Малые в смысле подобъектов и факторобъектов категории. Достаточные условия (Epi, ExtrMono)-структурированности. Сопряженные функторы 00:00:15 Замкнутость множества мономорфизмов (эпиморфизмов) относительно композиции 00:02:54 Замкнутость множества сильных мономорфизмов относительно композиции 00:08:16 Факторизационная структура (повторение) 00:14:17 Примеры 00:23:29 “Патологическая“ факторизационная структура на Sets (пример) 00:32:31 Теорема о категории с (Epi, RegMono)-факторизациями 00:44:57 Факторизационная лемма 01:17:49 Достаточные условия (ExtrEpi, Mono)-структурированности Ссылка на плейлист: #мгу #мехмат #математика #теориякатегорий