Timeline for Is there a high-concept explanation for why "simplicial" leads to "homotopy-theoretic"?
Current License: CC BY-SA 3.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 13, 2017 at 12:58 | history | edited | CommunityBot |
replaced http://mathoverflow.net/ with https://mathoverflow.net/
|
|
| Jan 22, 2017 at 12:05 | comment | added | Andrea Gagna | Just a remark on terminology. The category of cubes is actually test but not test strict (see Corollary 8.4.13 and Remark 8.4.33 of Cisinski's book). Maltsiniotis proved that the category of cubes with connections is indeed a strict test category. An interesting remark is that the subcategory of monos of $\Delta$ still canonically models homotopy types, while this is not true for the cubical counterpart (with or without connection, of course). | |
| Jan 21, 2017 at 22:30 | history | answered | Ronnie Brown | CC BY-SA 3.0 |