ScalingStacks

Definition 2.1. A small strict $0$-category is a set. Proceeding recursively, for any positive integer $n$, a small strict $n$-category is a small category enriched in small $(n-1)$-categories. A functor between strict $n$-categories will mean an enriched functor. We denote by $\cat_{n}$ the category of small strict $n$-categories and functors.