категорный фактор

Мат. categorical quotient