# $\{\gamma \in C^0([0,1],M): \gamma (0)=p, \gamma (1)=q\}$ with the compact-open top has the homotopy type of a CW complex

...where $M$ is a smooth manifold and $p, q \in M$. Does anyone know of any slick or accessible proofs of this? I was referred to Milnor's "On Spaces Having the Homotopy Type of a CW Complex" which is a bit over my head. I was wondering if anything simpler had been discovered in the intervening decades.

Edit: It looks like these are the steps Milnor takes (for proofs of which he cites papers I can't find or papers in languages i don't read):

Lemma 1: Let $X$ be a topological space. $X$ has the homotopy type of an absolute neighborhood retract (ANR) iff $X$ has the homotopy type of a countable CW complex

Lemma 2: If $Y$ is compact metric and $X$ is an ANR then the space of maps $Y\rightarrow X$ is an ANR.

From these lemmas I can prove that $\{\gamma \in C^0([0,1],M)\}$ has the homotopy type of a CW-complex since I can prove $M$ has the homotopy type of a countable CW-complex. But I don't know how to get from there to the homotopy type of a subspace where the endpoints are fixed. And I don't know how to prove the lemmas.

-

The basic idea is to put a complete Riemann metric on $M$ and to look at the subspace of your space of paths that consist of paths that are piecewise geodesic. So there is no restriction on the speed of the parametrization, these paths can go from any speed to any other speed (in pieces), including constant pieces. Alternatively, if $M$ isn't a manifold but just a simplicial complex, you could look at the subspace of your path space where the paths are piecewise linear. These spaces have natural filtrations by the minimal number of subdivisions you need in the "piecewise" description of the path. Of course, this is just a stratified object, not quite a CW-complex. You have to do more work to get the actual result but the above is a pencil-sketch idea you can try to flesh out...