ScalingStacks

Corollary 8.9. The $\infty$-category $\cat_{(\infty,n)}$ is a localization of $\pre(\gaunt_{n}^{\omega})$, and so $(\cat_{(\infty,n)},g)$ satisfies Axiom (C.1).