" 0 C F G H K L N P S T W Z А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Э Ю Я

ПОЛНАЯ ПОДКАТЕГОРИЯ

Значение ПОЛНАЯ ПОДКАТЕГОРИЯ в математической энциклопедии:

- подкатегория категории такая, что для любых объектов А, В из выполняется равенство

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

Многие важные классы подкатегорий (рефлективные и корефлективные подкатегории, многообразия и т. п.) являются П. п. М. Ш. Цаленко.