Homotopy Type Theory Differential geometry > history (Rev #3, changes)

Showing changes from revision #2 to #3: Added | Removed | Changed

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?
• jet?
• differential equation?