Kerodon

Proof. Fix an object $X \in \operatorname{\mathcal{C}}$, and let $h_{X}: \operatorname{\mathcal{C}}^{\operatorname{op}} \rightarrow \operatorname{\mathcal{S}}$ denote the functor represented by $X$. We wish to show that, for every morphism $w: C \rightarrow D$ which belongs to $W$, the image $h_{X}(w)$ is a homotopy equivalence of Kan complexes. By virtue of Remark 3.5.1.19, it will suffice to show that $h_{X}(w)$ is $n$-connective for every integer $n \geq 0$. The proof proceeds by induction on $n$. In the case $n = 0$, we wish to show that the composition map $\operatorname{Hom}_{\operatorname{\mathcal{C}}}(D,X) \rightarrow \operatorname{Hom}_{\operatorname{\mathcal{C}}}(C,X)$ is surjective on connected components, which follows from our assumption that $X$ is weakly $W$-local. Let us therefore assume that $n > 0$. Using the criterion of Corollary 3.5.1.29 (together with Exercise 7.6.3.13), we are reduced to proving the $(n-1)$-connectivity of the relative diagonal of $h_{X}(w)$ (formed in the $\infty $-category $\operatorname{\mathcal{S}}$). Since the functor $h_{X}$ preserves limits (Proposition 7.4.1.22), we can identify the relative diagonal of $h_{X}(w)$ with $h_{X}( \gamma _{C/D} )$, where $\gamma _{C/D}: D \coprod _{C} D \rightarrow D$ denotes a relative codiagonal of $w$. By assumption, we can arrange that $\gamma _{C/D}$ is also contained in $W$, so the desired result follows from our inductive hypothesis. $\square$