Remark (Comparison with Kan Complexes). Every Kan complex is an $\infty $-category (Example Moreover, if $X$ and $Y$ are Kan complexes, then the simplicial set $\operatorname{Fun}(X,Y)$ is also a Kan complex (Corollary, and therefore coincides with its core $\operatorname{Fun}(X,Y)^{\simeq }$. It follows that we can regard the simplicial category $\operatorname{Kan}$ of Construction as a full simplicial subcategory of $\operatorname{QCat}$. Passing to homotopy coherent nerves, we deduce that the $\infty $-category $\operatorname{\mathcal{S}}= \operatorname{N}_{\bullet }^{\operatorname{hc}}( \operatorname{Kan})$ is the full subcategory of $\operatorname{\mathcal{QC}}= \operatorname{N}_{\bullet }^{\operatorname{hc}}( \operatorname{QCat})$ spanned by the Kan complexes.