Timeline for What is the most useful non-existing object of your field?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Aug 14, 2017 at 9:28 | comment | added | Valery Isaev | I think it might be possible to work in an abstract setting in the future. For example, HoTT is an appropriate setting to work abstractly with spaces. There is also some work towards an abstract setting for doing $\infty$-category theory (ncatlab.org/nlab/show/infinity-cosmos, math.jhu.edu/~eriehl/synthetic.pdf). I think it should be possible to work abstractly with spectra also, but I'm not aware of any work in this direction. | |
| Aug 14, 2017 at 9:25 | comment | added | Valery Isaev | @DavidRoberts There are several models which are "convenient enough" for many practical purposes as described here: ncatlab.org/nlab/show/symmetric+smash+product+of+spectra. Currently, many authors use concrete model not only for spectra, but also for spaces (simplicial sets, topological spaces), $\infty$-categories (quasicategories, complete Segal spaces), and other higher structures. | |
| Aug 14, 2017 at 8:49 | comment | added | David Roberts♦ | I guess this forces users to work with concrete models, which sometimes come with "extra handles" to get a grip on. | |
| S Aug 11, 2017 at 7:57 | history | answered | Valery Isaev | CC BY-SA 3.0 | |
| S Aug 11, 2017 at 7:57 | history | made wiki | Post Made Community Wiki by Valery Isaev |