Категория вставки - Inserter category

В теория категорий, филиал математика, то категория установщика это вариант категория запятой где два функтора должны иметь одну и ту же категорию области.

Определение

Если C и D две категории и F и грамм два функтора из C к D, категория вставки Ins (F, грамм) - категория, объектами которой являются пары (Икс, ж) куда Икс является объектом C и ж это морфизм в D из F(Икс) к грамм(Икс) и чьи морфизмы из (Икс, ж) к (Y, грамм) являются морфизмами час в C из Икс к Y такой, что ${ Displaystyle G (ч) CIRC F = G CIRC F (H)}$ .^[1]

Характеристики

Если C и D находятся местный презентабельный, F и грамм являются функторами из C к D, и либо F является непрерывный или же грамм является непрерывный; тогда категория вставки Ins (F, грамм) также локально презентабельна.^[2]

Рекомендации

^ Сили Р.А.Г. (1992). Теория категорий 1991 г .: Материалы международного собрания по летней теории категорий, состоявшегося 23-30 июня 1991 г.. Американское математическое общество. ISBN 0821860186. Получено 11 февраля 2017.
^ Adámek, J .; Росицки, Дж. (10 марта 1994 г.). Локально презентабельные и доступные категории. Издательство Кембриджского университета. ISBN 0521422612. Получено 11 февраля 2017.

Этот теория категорий -связанная статья является заглушка. Вы можете помочь Википедии расширяя это.

[1] Сили Р.А.Г. (1992). Теория категорий 1991 г .: Материалы международного собрания по летней теории категорий, состоявшегося 23-30 июня 1991 г.. Американское математическое общество. ISBN 0821860186. Получено 11 февраля 2017.

[2] Adámek, J .; Росицки, Дж. (10 марта 1994 г.). Локально презентабельные и доступные категории. Издательство Кембриджского университета. ISBN 0521422612. Получено 11 февраля 2017.

[1]

[2]