Bicategories are a weaker notion of 2-dimensional categories in which the composition of morphisms is not strictly associative, but only associative "up to" an isomorphism.
Το Bicategories είναι μια πιο αδύνατη έννοια 2 διαστατικών κατηγοριών στις οποίες η σύνθεση των μορφισμών δεν είναι αυστηρά συνειρμική, αλλά μόνο συνειρμική «μέχρι» έναν ισομορφισμό.