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