Математическая энциклопедия - полная подкатегория

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

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

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

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

И. М. Виноградов

1977—1985