Timeline for Why is Kan's $Ex^\infty$ functor useful?
Current License: CC BY-SA 4.0
3 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 4, 2019 at 17:54 | comment | added | Dmitri Pavlov | @TimCampion: Complete details can be found in my notes: dmitripavlov.org/notes/topology.pdf; see the section "Functorial factorizations of simplicial maps" (in the current version, Section 50). (The notes are very much incomplete and actively edited; let me know if you have any questions.) | |
| Oct 4, 2019 at 13:32 | comment | added | Tim Campion | Cool! I'm having trouble proving to myself that the second map in either of these factorizations is a fibration -- do you think you could elaborate? | |
| Oct 4, 2019 at 0:35 | history | answered | Dmitri Pavlov | CC BY-SA 4.0 |