Homotopy Type Theory Differential geometry > history (Rev #1)

Here we collect articles about doing differential geometry in HoTT.

• differential cohesive homotopy type theory
• reduction
• infinitesimal shape
• infinitesimal flat?
• infinitesimally thickened point
• reduced space?
• smooth space
• tangent vector?
• differential equation?