Оглавление
Категория для вставки
-
Определение категории вставки
- Категория вставки Ins(F, G) является категорией, где два функтора F и G имеют одну и ту же предметную область.
- Объекты категории вставки – это пары (X, f), где X – объект категории C, а f – морфизм в категории D.
- Морфизмы от (X, f) к (Y, g) – это морфизмы h в категории C, такие что G(h) ∘ f = g ∘ F(h).
-
Свойства категории вставки
- Если категории C и D локально представимы и функторы F и G смежны или непрерывны, то категория вставки также локально представима.
-
Рекомендации
- Статья является заглушкой и призывает к расширению для Википедии.
Полный текст статьи: