higher geometry / derived geometry
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
derived smooth geometry
Euclidean geometry studies the geometry of Euclidean spaces. These spaces come equipped with a canonical Riemannian metric, and Euclidean geometry can be regarded as the local model for Riemannian geometry, in some sense.
| local model | global geometry |
|---|---|
| Euclidean geometry | Riemannian geometry |
| Klein geometry | Cartan geometry |