Timeline for Commutativity up to homotopy implies strict commutativity, for lifting problems
Current License: CC BY-SA 4.0
7 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 9, 2018 at 14:47 | comment | added | dhy | I believe this follows (in a general model category) from Proposition A.2.3.1 in Higher Topos Theory - the statement only covers the case where $Y$ is the final object, but the more general case follows via working in the overcategory over $Y$. | |
| Oct 9, 2018 at 12:31 | history | edited | David White | CC BY-SA 4.0 |
Clarified the title because when I first clicked I thought it was about operads.
|
| Oct 9, 2018 at 12:30 | answer | added | David White | timeline score: 7 | |
| Oct 9, 2018 at 12:11 | comment | added | Diego95 | I'm working in Top category, more precisely $(W, A) $ is a CW-pair, but I'm not sure whether this hypothesis is necessary. | |
| Oct 9, 2018 at 12:00 | history | edited | Harry Gindi |
bad tags
|
|
| Oct 9, 2018 at 11:49 | comment | added | Peter LeFanu Lumsdaine | What setting are you working in — an arbitrary Quillen model category? a specific notion of “fibration”/“cofibration” in $Top$, or some well-behaved subcategory thereof? | |
| Oct 9, 2018 at 10:53 | history | asked | Diego95 | CC BY-SA 4.0 |