[[!redirects differential geometry]] [[!redirects Differential geometry in HoTT]] 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