Synthetic differential geometry

Synthetic Differential Geometry (SDG) is a branch of mathematics that provides a framework for differential geometry using a synthetic or categorical approach, rather than relying on traditional set-theoretic and analytical foundations. This approach is particularly notable for its use of "infinitesimals," which are small quantities that can be treated algebraically in a way that is similar to how they are used in non-standard analysis.