Kerodon

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

Example 4.6.1.4. Let $X$ be a topological space containing a pair of points $x$ and $y$, which we regard as objects of the $\infty$-category $\operatorname{Sing}_{\bullet }(X)$. Then we have a canonical isomorphism of Kan complexes

$\operatorname{Hom}_{ \operatorname{Sing}_{\bullet }(X) }(x, y) \simeq \operatorname{Sing}_{\bullet }( P_{x,y} ),$

where $P_{x,y}$ denotes the topological space of continuous paths $p: [0,1] \rightarrow X$ satisfying $p(0) = x$ and $p(1) = y$ (equipped with the compact-open topology). See Example 3.4.0.5.