ScalingStacks

Example 15.3. The $\infty$-category underlying the relative category of $n$-relative categories [5] is a theory of $(\infty,n)$-categories.