Timeline for Learning roadmap to 'Differential cohomology in a cohesive $\infty$ topos'
Current License: CC BY-SA 4.0
6 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Oct 14, 2021 at 17:05 | vote | accept | user90041 | ||
| Oct 14, 2021 at 16:47 | comment | added | user90041 | @DenisNardin Thanks! It is helpful to know that I can skip HoTT for now. | |
| Oct 14, 2021 at 13:03 | answer | added | Emilio Minichiello | timeline score: 6 | |
| Oct 14, 2021 at 0:41 | answer | added | Dmitri Pavlov | timeline score: 5 | |
| Oct 13, 2021 at 21:33 | comment | added | Denis Nardin | I don't think Homotopy Type Theory is going to be necessary, a cursory glance make its usage seem more a presentation choice than anything else. | |
| Oct 13, 2021 at 21:10 | history | asked | user90041 | CC BY-SA 4.0 |