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