Timeline for Do homotopy pullbacks commute with homotopy orbits (in spaces)?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jul 21, 2014 at 14:19 | history | edited | David White | CC BY-SA 3.0 |
Texified
|
| Oct 17, 2009 at 12:13 | comment | added | Tyler Lawson | That's right, and that works much more cleanly. Note G doesn't need to be discrete for these arguments. | |
| Oct 17, 2009 at 7:20 | comment | added | Reid Barton | Thanks. Seems the key is the fibration U -> U_hG -> BG which I hadn't considered. You can use it to give a proof that doesn't need any algebra: consider the 3x3 square diagram with rows [, BG, X_hG], [, BG, Z_hG], [*, BG, Y_hG], and all maps pointing "inward"; taking horizontal homotopy pullbacks commutes with taking vertical homotopy pullbacks. | |
| Oct 17, 2009 at 7:15 | vote | accept | Reid Barton | ||
| Oct 17, 2009 at 5:09 | history | answered | Tyler Lawson | CC BY-SA 2.5 |