Bicatégorie
structure consistant en une classe d'objets et (entre chaque paire X,Y d'objets) une catégorie C(X,Y), munie de foncteurs de composition C(X,Y)×C(Y,Z)→C(X,Z) tels que leur composition est associative (à un isomorphisme près) / De Wikipedia, l'encyclopédie encyclopedia
En mathématiques, les bicatégories (aussi appelées 2-catégories faibles) sont une généralisation des catégories utilisées pour traiter les cas où la composition des morphismes n'est pas (strictement) associative, mais uniquement associative à isomorphisme près. Cette notion est introduite en 1967 par Jean Bénabou.
Les bicatégories peuvent être considérées comme un affaiblissement des 2-catégories. De manière similaire on obtient, par affaiblissement des 3-catégories, les tricatégories, et plus généralement, on peut obtenir les n-catégories faibles en affaiblissant les n -catégories.