bicategory
(Q4903541)
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)
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)
Language:
Current Data About
bicategory
other details
| aliases |
weak 2-category 2-category |
| description | 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) |
External Links
| (P646) |
/m/02nnyt
|
| (P4215) |
bicategory
|
| (P6366) |
2778726777
|
| (P7554) |
Bicategory
|