ScalingStacks

Definition 5.4.1.

For any \(k \geq 0\) and any \(n \geq -2\), an \((n,k)\)-category is an \((\infty,k)\)-category \(\mathcal C\) such that the functor \(\mathcal C\rightarrow{\sf pt}\) is \(n\)-faithful. We write \(\mathrm{Cat}_{(n,k)} \subseteq \mathrm{Cat}_{(\infty, {k})}\) for the full subcategory on the \((n,k)\)-categories.