Timeline for Why is Kan's $Ex^\infty$ functor useful?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 6, 2019 at 10:02 | comment | added | Alexander Campbell | @TimCampion A similar use of $Ex^\infty$ is in Section 3.2 of this paper of John Bourke, where the class of weak homotopy equivalences between arbitrary simplicial sets is described as a cone-injectivity class. | |
| Mar 6, 2019 at 6:51 | comment | added | Tim Campion | Awesome! I find this especially interesting because I've been developing a cubical $Ex^\infty$ functor, and the one application I have so far results from a similar criterion for cubical subdivision (related to my question from a few weeks ago about simplicial homotopy groups -- it was you, in fact, who steered me toward cubical sets!) | |
| Mar 6, 2019 at 6:49 | comment | added | Dmitri Pavlov | @TimCampion: Yes. A paper is forthcoming. That's why I mentioned it. | |
| Mar 6, 2019 at 6:25 | comment | added | Tim Campion | This does seem powerful but I’ve never seen it actually used in practice. Have you? | |
| Mar 6, 2019 at 6:20 | history | answered | Dmitri Pavlov | CC BY-SA 4.0 |