bicategory

bicategory englanniksi

1. A particular construct in theory, used to extend the notion of category to handle the cases where the composition of morphisms is not (strictly) associative, but only associative up to an isomorphism.