Synthetic Differential Geometry

A categorical, axiomatic reformulation of differential geometry in which infinitesimals are represented by nilpotent elements inside a suitable topos or algebraic setting; derivatives and tangent vectors are treated algebraically via axioms (e.g., Kock–Lawvere) rather than as limits, enabling coordinate-free, algebraic manipulation of smooth structures.