Timeline for Why is Kan's $Ex^\infty$ functor useful?
Current License: CC BY-SA 4.0
14 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 4, 2019 at 14:03 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 110 characters in body
|
| Oct 4, 2019 at 13:53 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 20 characters in body
|
| Oct 4, 2019 at 13:47 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 431 characters in body
|
| Mar 11, 2019 at 13:05 | comment | added | D.-C. Cisinski | @Reid Barton: The proof in "Higher Categories and Homotopical Algebra" is different from the one in "Les préfaisceaux..." | |
| Mar 11, 2019 at 1:15 | comment | added | Reid Barton | It's also in chapter 3 of Cisinski's book "Higher Categories and Homotopical Algebra", for those who prefer to read English. | |
| Mar 10, 2019 at 23:24 | history | edited | David White | CC BY-SA 4.0 |
added 48 characters in body
|
| Mar 8, 2019 at 7:32 | comment | added | Tim Campion | BTW Cisinski proves there is a model structure with the usual description in Theorem 2.1.42 of Les Prefaisceaux comme Modeles des Types d'Homotopie, and I understand this is the proof that Simon is referring to. | |
| Mar 8, 2019 at 7:19 | comment | added | Tim Campion | @SimonHenry Good point! Although it seems Cisinski could alternatively deduce the completeness of this structure homotopique by Thm 8.2.18 in Les Prefasiceaux comme modeles des types d'homotopie. | |
| Mar 6, 2019 at 15:03 | comment | added | Simon Henry | @DenisNardin : Indeed... For some unknown reason I had in mind that Quillen's proof was relying on older work on simplicial sets which used topology... | |
| Mar 6, 2019 at 15:01 | history | edited | Simon Henry | CC BY-SA 4.0 |
deleted 62 characters in body
|
| Mar 6, 2019 at 9:38 | comment | added | Andrea Gagna | Indeed. A related answer: mathoverflow.net/a/46112/42137 | |
| Mar 6, 2019 at 8:57 | comment | added | Denis Nardin | The first purely combinatorial construction of the model structure was also the first construction of the model structure, in Quillen's Homotopical algebra (theorem II.3.3) :). I don't know why people always forget about that. | |
| Mar 6, 2019 at 8:50 | history | edited | Simon Henry | CC BY-SA 4.0 |
added 16 characters in body
|
| Mar 6, 2019 at 8:37 | history | answered | Simon Henry | CC BY-SA 4.0 |