Timeline for A homotopy commutative diagram that cannot be strictified
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Nov 28, 2011 at 5:54 | comment | added | Akhil Mathew | Thanks. I guess your example also points out the difference between homotopy coherence and homotopy commutativity: to give a map from a space into a homotopy fiber product $A \times_{h B} C$ is not only the same as giving maps $X \to A, X \to C$ such that the push-forwards to $B$ are homotopic, but also to give a choice of homotopy. | |
| Nov 27, 2011 at 13:41 | history | edited | Tom Goodwillie | CC BY-SA 3.0 |
added 942 characters in body
|
| Nov 26, 2011 at 20:05 | history | answered | Tom Goodwillie | CC BY-SA 3.0 |