nLab derived differential geometry

Theorems

Differential geometry

differential geometry

synthetic differential geometry

Contents

Idea

Derived differential geometry is higher differential geometry in an ambient (∞,1)-topos which is not 1-localic. This is the derived geometry corresponding to differential geometry. Typically this is specifically taken to be the derived geometry induced by the Lawvere theory for smooth algebras ($C^\infty$-rings):

See

References

Revised on August 18, 2015 00:01:45 by trent? (71.204.162.198)