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.