bicatégorie

concept 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)

Aussi : 2-catégorie faible, 2-catégorie