# bicategory

> structure consisting of a class of objects and (between every pair X,Y of objects) a category C(X,Y), along with composition functors C(X,Y)×C(Y,Z)→C(X,Z), such that composition is associative (up to natural equivalence by some isomorphism)

**Wikidata**: [Q4903541](https://www.wikidata.org/wiki/Q4903541)  
**Wikipedia**: [English](https://en.wikipedia.org/wiki/Bicategory)  
**Source**: https://4ort.xyz/entity/bicategory