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

Showing changes from revision #3 to #4: Added | ~~Removed~~ | ~~Chan~~ged

~~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?

~~category: not redirected to nlab yet~~

Revision on June 18, 2022 at 16:25:05 by Anonymous?. See the history of this page for a list of all contributions to it.