Let \(n\geq k \geq 0\) and \(F \colon \mathcal C\rightarrow\mathcal D\) be a functor between \((\infty,k)\)-categories which is \((n-1)\)-faithful. Then, the following commutative diagram is a pullback square in \(\mathrm{Cat}_{(\infty, {k})}\): 
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2