higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
A theorem in Euclidean geometry about uniqueness of measures of subsets of Cartesian space.
Created on September 1, 2011 at 10:01:00. See the history of this page for a list of all contributions to it.