Timeline for Is there a functorial proof that Eilenberg-MacLane spaces are unique up to homotopy equivalence?
Current License: CC BY-SA 2.5
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 11, 2010 at 5:56 | history | edited | Jeff Strom | CC BY-SA 2.5 |
edited body
|
| Dec 11, 2010 at 5:33 | history | edited | Jeff Strom | CC BY-SA 2.5 |
added 456 characters in body
|
| Dec 11, 2010 at 5:22 | comment | added | Akhil Mathew | Sorry, I'm a bit confused. The model-categorical version of Whitehead that I know is that a weak equivalence in a closed model category between cofibrant-fibrant objects is a homotopy equivalence, and is proved by a bit of diagram-chasing (I think the lemma of Ken Brown does it as well). In the present case, one just uses the fact that any CW complex is cofibrant and fibrant --- I'm not sure how this requires finite generation of the homotopy groups or Eilenberg-MacLane spaces. | |
| Dec 10, 2010 at 18:45 | history | answered | Jeff Strom | CC BY-SA 2.5 |