Notes

The series of notes on Differential Geometry in Cohesive Homotopy Type Theory.

17 JAN 2019 — Homotopy Limits
17 JAN 2019 — Differential Geometry
17 JAN 2019 — de Rham Cohesion