left-invertible subcategory

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