bicategory
Short definition from Wiktionary
Noun
- A particular construct in category 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.
We haven’t written up bicategory yet: Simple and Standard meanings, examples and a quiz.