Kerodon

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

Remark 2.4.5.3. Let $I$ be a finite set and let $\operatorname{\raise {0.1ex}{\square }}^{I}$ be the $I$-cube of Notation 2.4.5.2. Then the geometric realization $| \operatorname{\raise {0.1ex}{\square }}^{I} |$ can be identified with the topological space $\prod _{i \in I} [0,1]$. In particular, the geometric realization $| \operatorname{\raise {0.1ex}{\square }}^{n} |$ is homeomorphic to the standard cube

\[ \{ (t_1, t_2, \ldots , t_ n ) \in \operatorname{\mathbf{R}}^{n}: 0 \leq t_ i \leq 1 \} . \]

This is a tautology in the case $n = 1$, and follows in general from the compatibility of geometric realizations with products of finite simplicial sets (see Corollary 3.6.2.2).