В теории категории филиала математики , то категория вставки является изменением категории разделителей , где два функтора обязан иметь ту же категорию домена.
Определение
Если C и D - две категории, а F и G - два функтора от C до D , категория вставщика Ins ( F , G ) - это категория, объекты которой являются парами ( X , f ), где X - объект C, а f - морфизм в D из F ( X ) в G ( X ) и чьи морфизмы из ( X , f ) в ( Y , g ) являются морфизмами h в C из X в Y такие, что. [1]
Характеристики
Если С и D являются локально презентабельно , F и G являются функторы от С к D , и либо Р является cocontinuous или G является непрерывной ; тогда категория инсертеров Ins ( F , G ) также локально представима. [2]
Рекомендации
- ^ Сили, RAG (1992). Теория категорий 1991: Материалы международного собрания по летней теории категорий, состоявшегося 23-30 июня 1991 года . Американское математическое общество . ISBN 0821860186. Проверено 11 февраля 2017 года .
- ^ Adámek, J .; Росицки, Дж. (10 марта 1994 г.). Локально презентабельные и доступные категории . Издательство Кембриджского университета . ISBN 0521422612. Проверено 11 февраля 2017 года .