ScalingStacks

Let \(k, n \geq 0\) and let \(F \colon \mathcal C\rightarrow\mathcal D\) be an \((n-1)\)-faithful functor between \((\infty,k)\)-categories. Then, for every \(\mathcal X\in \mathrm{Cat}_{(\infty, {k})}\), the square is a pullback square of spaces.