абстрактная бикатегория

Мат. abstract bicategory