Timeline for How to learn about Higher Topoi
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 28, 2021 at 19:17 | comment | added | Emilio Minichiello | Ah, this is very clarifying, thank you! | |
| Jan 28, 2021 at 18:49 | comment | added | D.-C. Cisinski | However, Straightening/Unstraightening in the general case is a central feature of (higher) category theory. The fact that it is formulated through simpliccial categories or not is secondary though. We just need to make precise that there is a coherent correspondence between cocartesian fibrations with small fibers and functors with values in the $\infty$-category of small $\infty$-categories. | |
| Jan 28, 2021 at 18:46 | comment | added | D.-C. Cisinski | Straightening/Unstraightening is unavoidable. In my book, I do it for left fibrations and avoid the version for cocartesian fibrations to introduce adjunctions. This is sufficient to study Kan extensions as well as locally presentable $\infty$-categories and higher topoi, so that one might read HTT from there. | |
| Jan 28, 2021 at 14:14 | comment | added | R. van Dobben de Bruyn | Not an answer, but if you're willing to skip some details, you can get pretty far by taking straightening/unstraightening as a black box at first. (This is sort of what I did, but it's too early to report whether this should be considered successful.) | |
| S Jan 28, 2021 at 13:30 | history | suggested | gmvh |
Added top-level tag
|
|
| Jan 28, 2021 at 13:28 | review | First posts | |||
| Jan 28, 2021 at 13:28 | |||||
| Jan 28, 2021 at 13:25 | review | Suggested edits | |||
| S Jan 28, 2021 at 13:30 | |||||
| Jan 28, 2021 at 13:20 | history | asked | Emilio Minichiello | CC BY-SA 4.0 |