ScalingStacks

Proposition 2.7. The cells ($C_{i}$, $0\leq i\leq n$) generate $\cat_{n}$ under colimits; that is, the smallest full subcategory of $\cat_{n}$ containing the cells and closed under colimits is all of $\cat_{n}$. ∎