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

Оглавление1 Категория коциклов1.1 Определение категории коциклов1.2 Биективность в модельных категориях2 Категория коциклов — Википедия Категория коциклов Определение категории коциклов Категория […]

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

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

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

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

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

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

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

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