обратимая слева подкатегория

Мат. left-invertible subcategory