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