Значение слова «подкатегория»

• В математике, подкатегория категории C — это категория S, объекты которой являются также объектами C и морфизмы которой являются также морфизмами в C, с теми же тождественными морфизмами и правилами композиции. Интуитивно, подкатегория C получается из C удалением некоторых объектов и морфизмов.

Источник: Википедия

• подкатего́рия

  1. более узкая категория, по отношению к материнской; дочерняя категория

  2. матем. частный случай понятия подструктуры математической структуры

Источник: Викисловарь