Timeline for Homotopy pullback of a homotopy pushout is a homotopy pushout
Current License: CC BY-SA 4.0
1 event
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Jul 11, 2018 at 10:46 | history | answered | Mark Grant | CC BY-SA 4.0 |