Категория клея - Adhesive category - Wikipedia

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

Точнее, адгезивная категория - это категория, в которой выполняется любое из следующих эквивалентных условий:

  • C есть все откаты, у него есть выталкивания мономорфизмы, и квадраты выталкивания мономорфизмов также являются квадратами отката и устойчивы при откате.
  • C имеет все откаты, имеет выталкивания вдоль мономорфизмов, и последние также (бикатегорические) выталкивания в бикатегория из пролеты вC.

Если C мала, мы можем эквивалентно сказать, что C имеет все откаты, имеет выталкивания по мономорфизмам и допускает полное вложение в Гротендик топос сохраняющие откаты и сохраняющие выталкивания мономорфизмов.

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

внешняя ссылка