ScalingStacks

Corollary 8.11. The pair $(\cat_{(\infty,n)},g)$ is a theory of $(\infty,n)$-categories, and so $\thy_{(\infty,n)}$ is nonempty.