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)
Press Enter · cited answer in seconds
0 sources
bicategory
Summary
Key Facts
- bicategory's follows is recorded as category[1].
- bicategory's followed by is recorded as tricategory[2].
- bicategory's subclass of is recorded as weak n-category[3].
- bicategory's Freebase ID is recorded as /m/02nnyt[4].
- bicategory's Stack Exchange tag is recorded as https://mathoverflow.net/tags/2-categories[5].
- bicategory's series ordinal is recorded as 2[6].
- bicategory's studied by is recorded as higher category theory[7].
- bicategory's has part is recorded as strict 2-category[8].
- bicategory's nLab ID is recorded as bicategory[9].
- bicategory's Microsoft Academic ID is recorded as 2778726777[10].
- bicategory's Encyclopedia of Mathematics article ID is recorded as Bicategory[11].