Timeline for Model categories with uniqueness
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| May 8, 2021 at 12:53 | comment | added | D.-C. Cisinski | @Zhen Lin: Although I would recommend to read your posts very much for the good material in it, I would not qualify this sort of things as "uninteresting". $1$-categorical left Bousfield localizations exist in nature (e.g. sheaves, models of a Lawvere theory). Furthermore, this kind of concept is robust enough to survive $\infty$-categorical promotion, which gives even more important examples. This sounds interesting enough to me. | |
| May 8, 2021 at 4:45 | history | became hot network question | |||
| May 8, 2021 at 1:29 | comment | added | Zhen Lin | Model structures where the lifts are unique are "uninteresting". See here. | |
| May 7, 2021 at 23:17 | answer | added | Tim Campion | timeline score: 6 | |
| May 7, 2021 at 21:43 | answer | added | Mike Shulman | timeline score: 9 | |
| May 7, 2021 at 21:21 | comment | added | D.-C. Cisinski | Maybe what you want is the general idea of a unique factorization system. There quite a few papers by Mathieu Anel: arXiv:0902.1130 on Grothendieck topologies in algebraic geometry, arXiv:2004.00731 on construction of localizations from unique factorization systems, which complements section 5.2.8 in Lurie's Higher Topos Theory. There are plenty of material to be found in n lab pages as well: ncatlab.org/nlab/show/factorization+system | |
| May 7, 2021 at 20:40 | review | First posts | |||
| May 7, 2021 at 21:01 | |||||
| May 7, 2021 at 20:35 | history | asked | Lucas P | CC BY-SA 4.0 |