WikiDer > Категория клея - Википедия
Adhesive category - Wikipedia
 | Эта статья поднимает множество проблем. Пожалуйста помоги Улучши это или обсудите эти вопросы на страница обсуждения. (Узнайте, как и когда удалить эти сообщения-шаблоны) (Узнайте, как и когда удалить этот шаблон сообщения)
|
В математике категория клея это категория куда выталкивания мономорфизмов существуют и работают более или менее так же, как в категории множеств. Примером клейкой категории является категория направленных мультиграфов, или колчаны, а теория адгезионных категорий важна в теории переписывание графа.
Точнее, адгезивная категория - это категория, в которой выполняется любое из следующих эквивалентных условий:
- C есть все откаты, у него есть выталкивания мономорфизмы, и квадраты выталкивания мономорфизмов также являются квадратами отката и устойчивы при откате.
- C имеет все откаты, имеет выталкивания вдоль мономорфизмов, и последние также (бикатегорические) выталкивания в бикатегория из пролеты вC.
Если C мала, мы можем эквивалентно сказать, что C имеет все откаты, имеет выталкивания по мономорфизмам и допускает полное вложение в Гротендик топос сохраняющие откаты и сохраняющие выталкивания мономорфизмов.
Рекомендации
- Стив Лак и Павел Собочински, Категории клея[постоянная мертвая ссылка], Серия фундаментальных исследований в области компьютерных наук, BRICS RS-03-31, октябрь 2003 г.
- Ричард Гарнер и Стив Лак, «Об аксиомах адгезионных и квазиадгезионных категорий», Теория и приложения категорий, Vol. 27, 2012, № 3. С. 27–46.
- Стив Лэк и Павел Собочински, «Топы клейкие».
- Стив Лэк, «Теорема вложения для адгезионных категорий», Теория и приложения категорий, Vol. 25, 2011, № 7. С. 180–188.
внешняя ссылка
 | Эта статья по математике заглушка. Вы можете помочь Википедии расширяя это. |