Kerodon

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

Remark 3.5.6.6. In the special case where $S$ is a point, Proposition 3.5.6.5 reduces to the assertion that for every topological space $X$, the singular simplicial set $\operatorname{Sing}_{\bullet }(X)$ is a Kan complex, which was established earlier as Proposition 1.1.9.8.