Kerodon

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

Example 3.1.4.6. Let $X$ and $Y$ be topological spaces, and let $h: [0,1] \times X \rightarrow Y$ be a continuous function, which we regard as a homotopy from $f_0 = h|_{ \{ 0\} \times X}$ to $f_1 = h|_{ \{ 1\} \times X}$. Then $h$ determines a homotopy between the induced map of simplicial sets $\operatorname{Sing}_{\bullet }(f_0), \operatorname{Sing}_{\bullet }(f_1): \operatorname{Sing}_{\bullet }(X) \rightarrow \operatorname{Sing}_{\bullet }(Y)$: this follows by applying Example 3.1.4.5 to the composite map $[0,1] \times | \operatorname{Sing}_{\bullet }(X) | \rightarrow [0,1] \times X \xrightarrow {h} Y$.