Synthetic Differential Geometry

Synthetic differential geometry is a reformulation of differential calculus using topos-theoretic methods, developed by William Lawvere in the 1960s and later elaborated by Anders Kock. Instead of building calculus on the real numbers via limits, synthetic differential geometry works inside a topos containing nilpotent infinitesimals — quantities d such that d² = 0 but d ≠ 0. In this framework, the derivative is not a limit but a slope: f(x + d) = f(x) + f'(x)d for all d with d² = 0. The tangent bundle, curvature, and differential forms become constructions within the internal logic of the topos rather than analytic limits.

The Kock-Lawvere axiom, which posits the existence of these infinitesimals, is inconsistent with classical logic — it requires the internal logic of the topos to be intuitionistic. This is not a weakness but a feature: synthetic differential geometry demonstrates that the reliance on classical analysis, ε-δ proofs, and the continuum is a choice of foundational universe, not a physical necessity. The framework has been applied to general relativity, where the synthetic formulation of connections and curvature avoids coordinate-dependent constructions. It suggests that the smooth structure of spacetime may be an emergent property of a deeper logical universe rather than a primitive postulate.