Timeline for What parts of the theory of quasicategories have been simplified since the publication of HTT?
Current License: CC BY-SA 4.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 24, 2018 at 12:49 | answer | added | Denis Nardin | timeline score: 8 | |
| Sep 24, 2018 at 1:22 | answer | added | Tim Campion | timeline score: 38 | |
| Sep 24, 2018 at 1:15 | comment | added | Dmitri Pavlov | Heuts and Moerdijk clarified the straightening/unstraightening functors in their papers "Left fibrations and homotopy colimits I/II". Moerdijk and coauthors developed the theory of dendroidal sets, which is a model for (∞,1)-operads closer in spirit to quasicategories than Lurie's own model. | |
| Sep 22, 2018 at 9:22 | comment | added | Ali Caglayan | Currently the synthetic theory of (oo,1)-categories is being developed which will allow people to say things that are true in all models of (oo.1)-categories at once. See for example Emily Riehl's work. Notions such as elementary (oo,1)-topos are being defind and studied. It is expected this will simplify and unify a lot of "analytic" work on higher category theory. Here is a nice talk by Emily showing current happenings. | |
| Sep 22, 2018 at 8:56 | history | asked | dhy | CC BY-SA 4.0 |