nLab categories of categories - contents

$(n+1,r+1)$-categories of (n,r)-categories

• Pos

• Set

  • Rel, Prof

• 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