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