тривиальная подкатегория

Мат. trivial subcategory