Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Remark 3.2.1.13. In ยง, we will give a different description of the $\infty $-category $\operatorname{Kan}_{\ast }$ (at least up to equivalence): it can be realized as the $\infty $-category of pointed objects of the $\infty $-category $\operatorname{Kan}$ (that is, the full subcategory of $\operatorname{Fun}( \Delta ^1, \operatorname{Kan})$ spanned by those diagrams $f: X \rightarrow Y$ where Kan complex $X$ is contractible; see Example ). Beware that the analogous statement does not hold at the level of homotopy categories: there is no formal mechanism to extract the pointed homotopy category $\mathrm{h} \mathit{\operatorname{Kan}}_{\ast }$ from the unpointed homotopy category $\mathrm{h} \mathit{\operatorname{Kan}}$ (see Warning 3.2.1.9).