ScalingStacks

For \(n \geq k \geq 0\) and any \((\infty,k)\)-category \(\mathcal C\), \(\tau_n \mathcal C\in \mathrm{Cat}_{({n}, {k})}\) is obtained by \((n-k)\)-truncating its \(k\)-morphism spaces (notation 5.1.8), and univalently completing the result. In particular, for an \((\infty,1)\)-category \(\mathcal C\), \(\tau_1\mathcal C\) is its ordinary homotopy category.