Example 4.6.5.14. 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)$. Using Example 4.3.5.9, we obtain canonical isomorphisms of Kan complexes
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). Combining this observation with Example 4.6.1.5, we can identify the pinch inclusion maps $\iota ^{\mathrm{L}}_{x,y}$ and $\iota ^{\mathrm{R}}_{x,y}$ with monomorphisms from the simplicial set $\operatorname{Sing}_{\bullet }( P_{x,y} )$ to itself. Beware that these maps are not the identity (though one can show that they are homotopic to the identity).