nLab infinitesimal interval

Contents

Contents

Idea

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.

Properties

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.