Timeline for Mayer-Vietoris Sequence for Arbitrary Bicartesian Square of Spectra
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 1, 2013 at 5:19 | comment | added | Marc Hoyois | Hey Dylan! The square for the Mayer-Vietoris sequence is in fact a homotopy pushout even before stabilizing. That's not a completely trivial fact, however, as it immediately implies the standard Seifert-van Kampen theorem. For an elementary proof see Theorem A.3.1 in Higher Algebra. | |
| Mar 1, 2013 at 4:31 | vote | accept | Jonathan Beardsley | ||
| Mar 1, 2013 at 19:27 | |||||
| Mar 1, 2013 at 4:20 | history | answered | Dylan Wilson | CC BY-SA 3.0 |