Kerodon

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

Example 4.6.1.5. 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). Setting $x = y$, we obtain an isomorphism $\operatorname{End}_{\operatorname{Sing}_{\bullet }(X) }(x) = \operatorname{Sing}_{\bullet }( \Omega (X) )$, where $\Omega (X)$ is the based loop space of $X$. See Example 3.4.0.5.