Kerodon

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

Example 10.2.2.8. Let $S$ be a simplicial set and let $| S |$ denote its geometric realization as a topological space (Definition 1.2.3.1). Combining Proposition 10.2.1.1 with Corollary 10.2.2.7, we deduce that the homotopy type of the topological space $| S |$ depends only on the underlying semisimplicial set of $S$. Compare with Corollary 3.4.5.5.