Remark 10.3.5.7. Let $f: X \rightarrow Y$ be a morphism of Kan complexes and let $Y_0 \subseteq Y$ be its essential image. The proof of Corollary 10.3.5.6 shows that $Y_0$ is an image of $f$ in the $\infty $-category $\operatorname{\mathcal{S}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$