higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
The “infinitesimal interval” is an infinitesimally thickened point/infinitesimal disk which is a subspace of the line object. Usually meant is the first order infinitesimal interval, which is the formal dual to the ring of dual numbers.
The internal hom/mapping space out of the infinitesimal interval is the synthetic tangent bundle-construction. See there for more.
Last revised on September 14, 2018 at 11:10:13. See the history of this page for a list of all contributions to it.