(Q4903541)
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Bicategory
- kowiki 이차 범주
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)