Категория коциклов

Категория коциклов Определение категории коциклов Категория коциклов в теории категорий — это категория, где объекты — это пары отображений, а […]

Категория коциклов

  • Определение категории коциклов

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

    • Если модельная категория правильная и слабые эквивалентности замыкаются на конечные произведения, то категория коциклов является биективной. 

Полный текст статьи:

Категория коциклов — Википедия

Оставьте комментарий

Прокрутить вверх