Полная Подкатегория

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