I apologize in advance if this is too elementary for this forum. I have received some help but am still unsure about how to proceed. I am interested in a proof of the following result due to John Milnor: If X is a countable CW complex then the pointed loop space of X (with the compact open topology) has the homotopy type of a CW complex. I have consulted Milnor's "on spaces having the homotopy type of a CW complex" but it references articles I was unable to find after determined searches on google scholar. Does anyone know of a selfcontained exposition of this result?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
There is a very fine book ``Cellular structures in topology'', by R. Fritsch and R.A. Piccinini that gives a detailed and selfcontained treatment of Milnor's results. It has a wealth of other wellpresented material, some of which is little known nowadays. 

