(n+1,r+1)(n+1,r+1)-categories of (n,r)-categories
Pos
Set
Grpd, ∞Grpd
Cat
elementary theory of the 2-category of categories (ETCC)
AccCat
PrCat
MonCat
VCat
CatAdj
Operad
2Cat
(∞,1)Cat
Pr(∞,1)Cat
(∞,1)Operad
(∞,n)Cat
Last revised on May 5, 2023 at 08:13:45. See the history of this page for a list of all contributions to it.