For any \(j > k \geq 0\) and any \(n \geq j\) or \(k>n \geq -2\), and an \((\infty,j)\)-category \(\mathcal C\), the canonical functor ([00B1]) is an equivalence.
Proof.
This follows immediately from applying corollary 5.3.13 to the factorization \(\mathcal C\rightarrow\tau_n \mathcal C\rightarrow{\sf pt}\). ◻
Original source: arXiv:2401.02956v2
Original source · 2401.02956v2