Kerodon

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

Example 3.2.2.3. For $n \geq 0$, the geometric realization $| \Delta ^ n / \operatorname{\partial \Delta }^ n |$ can be obtained from the topological $n$-simplex $| \Delta ^ n |$ by collapsing the boundary $| \operatorname{\partial \Delta }^ n |$ to a point (or by adding a new base point, in the degenerate case $n = 0$). It follows that $| \Delta ^ n / \operatorname{\partial \Delta }^ n |$ is homeomorphic to a sphere of dimension $n$.