bicategory

Today it means: 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. Full definition →