Категория коциклов
-
Определение категории коциклов
- Категория коциклов в теории категорий — это категория, где объекты — это пары отображений, а морфизмы — коммутативные диаграммы.
- Обозначается как H(X, Y).
-
Биективность в модельных категориях
- Если модельная категория правильная и слабые эквивалентности замыкаются на конечные произведения, то категория коциклов является биективной.
Полный текст статьи: