# 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 February 11, 2013 12:00:38 by Urs Schreiber (89.204.138.151)