higher geometry / derived geometry
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
function algebras on ∞-stacks?
derived smooth geometry
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 07:10:13. See the history of this page for a list of all contributions to it.