Категория устройства вставки
В теории категорий , разделе математики , категория вставки представляет собой вариант категории запятой , где два функтора должны иметь одну и ту же категорию предметной области.
Определение [ править ]
Если 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]
Свойства [ править ]
Если C и D , локально представимы то и G являются функторами из C в D , и либо F конепрерывен F либо G непрерывен , ; тогда категория вставки Ins( F , G ) также локально представима. [2]
Ссылки [ править ]
- ^ Сили, ТРЭГ (1992). Теория категорий 1991: Материалы международного летнего собрания по теории категорий, состоявшегося 23-30 июня 1991 г. Американское математическое общество . ISBN 0821860186 . Проверено 11 февраля 2017 г. .
- ^ Адамек, Дж.; Росицки, Дж. (10 марта 1994 г.). Локально презентабельные и доступные категории . Издательство Кембриджского университета . ISBN 0521422612 . Проверено 11 февраля 2017 г. .
 | Эта теории категорий статья, посвященная , незавершена . Вы можете помочь Википедии, расширив ее . |