nLab
derived differential geometry

Context

Higher geometry

Differential geometry

differential geometry

synthetic differential geometry

Axiomatics

Models

Concepts

Theorems

Applications

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 C^\infty-rings):

See

References

Revised on February 11, 2013 12:00:38 by Urs Schreiber (89.204.138.151)