ФАКТОРКАТЕГОРИЯ


ФАКТОРКАТЕГОРИЯ

конструкция, аналогичная конструкции фактормножества или факторалгебры. Пусть -произвольная категория, и в классе морфизмов Моrзадано отношение эквивалентности ~, удовлетворяющее следующим условиям: 1) если то начала и концы морфизмов и совпадают; 2) если п произведение определено, то Через обозначается класс эквивалентности морфизма Фактор категориeй категории по отношению ~ наз. категория (обозначаемая у к-рой те же объекты, что и у а для любой пары объектов A, В множество морфизмов Н( А, Всостоит из классов эквивалентности где в умножение морфизмов и определяется формулой (когда произведение определено).
Всякая малая категория является Ф. категории путей над подходящим ориентированным графом.

М. Ш. Цаленко.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "ФАКТОРКАТЕГОРИЯ" в других словарях:

  • ЛОКАЛИЗАЦИЯ — в категориях специальная конструкция, связанная со .специальными радикальными подкатегориями; она впервые появилась в абелевых категориях для описания т. н. Гротендика категорий с помощью категорий модулей над ассоциативными кольцами с единицей.… …   Математическая энциклопедия

  • АБЕЛЕВА КАТЕГОРИЯ — категория, обладающая рядом характерных свойств категории всех абелевых групп. А. к. были введены как основа абстрактного построения гомологич. алгебры (см. [4]). Категория наз. абелевой (см. [2]), если она удовлетворяет следующим аксиомам: А0.… …   Математическая энциклопедия

  • СЕРРА ПОДКАТЕГОРИЯ — ненулевая полная локально малая подкатегория абелевой категории такая, что для каждой точной последовательности в верно, что эквивалентно и Л о к а л ь н а я м а л о с т ь категории есть условие: совокупность представителей классов эквивалентных… …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.