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

См. также в других словарях:

• ФАКТОРКАТЕГОРИЯ — конструкция, аналогичная конструкции фактормножества или факторалгебры. Пусть произвольная категория, и в классе морфизмов Моr задано отношение эквивалентности , удовлетворяющее следующим условиям: 1) если то начала и концы морфизмов и совпадают; …   Математическая энциклопедия

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

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

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