nLab infinitesimal interval




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.