Категория для вставки
-
Определение категории вставки
- Категория вставки 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 смежны или непрерывны, то категория вставки также локально представима.
-
Рекомендации
- Статья является заглушкой и призывает к расширению для Википедии.
Полный текст статьи: