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 entity: Q4903541

P156 followed by ... Q16958581 (tricategory) tricategory
P155 follows ... Q719395 (category) category
P2670 has part(s) of the class ... Q4596935 (strict 2-category) strict 2-category
P1545 series ordinal String 2 ???
P1482 Stack Exchange tag Url Newest '2-categories' Questions - MathOverflow ???
P2579 studied by ... Q5758318 (higher category theory) higher category theory
P279 subclass of ... Q7977957 (weak n-category) weak n-category
External Ids
P7554Encyclopedia of Mathematics article IDBicategory
P646Freebase ID/m/02nnyt
P6366Microsoft Academic ID (discontinued)2778726777
P4215nLab IDbicategory

Why not click here or view trends?

log id: 7913646