Synthetic differential geometry¶
A topos-theoretic formalization of differential geometry that encodes smooth infinitesimal behavior synthetically rather than through classical limit analysis.
Core Idea¶
Synthetic differential geometry is a topos-theoretic formalization of differential geometry that encodes smooth infinitesimal behavior synthetically rather than through classical limit analysis.
Synthetic differential geometry reasons internally in a suitable cartesian closed category or topos whose number-line object contains nilpotent infinitesimals. The Kock–Lawvere axiom makes a map on first-order infinitesimals affine, so derivatives arise algebraically rather than through epsilon–delta limits. Intuitionistic internal logic and microlinearity are structural requirements, not optional philosophical decoration.
Its operative boundary is not supplied by the name alone. Preserve this identity: A topos-theoretic formalization of differential geometry that encodes smooth infinitesimal behavior synthetically rather than through classical limit analysis.
Scope of Application¶
The abstraction recurs literally within differential calculus and geometry formulated inside well-adapted smooth toposes. The following habitats preserve the same recognition machinery; they are not invitations to extend the name metaphorically.
- Differentiation. first-order expansion follows from the infinitesimal axiom.
- Tangent vectors. maps from an infinitesimal object encode tangent directions.
- Differential forms. infinitesimal simplices support synthetic exterior calculus.
- Connections and curvature. neighbor relations express transport and geometric defects.
- Manifold embedding. ordinary smooth manifolds enter a well-adapted model fully faithfully.
Clarity¶
Identify the ambient category, internal language, infinitesimal objects, and axioms. Classical external reasoning cannot be imported indiscriminately: for example, excluded middle may destroy the intended nilpotents. Distinguish a synthetic theorem proved internally from the external construction of a model validating it.
A practical identification audit begins with the typed roles rather than the title: establish the ambient smooth category, verify the line object, then test the remaining conditions and exclusions.
Manages Complexity¶
SDG replaces limit quantifiers with algebra on infinitesimal neighborhoods and makes mapping spaces available as objects. It can compress local differential arguments, but only because categorical semantics carries the otherwise hidden logical burden.
The compression remains accountable because each simplification has a named failure condition. Disagreement can be localized to a missing role, an invalid assumption, an ambiguous measurement, or a neighboring abstraction instead of being hidden inside an unanalyzed label.
Abstract Reasoning¶
R1. Specify a well-adapted model or the categorical axioms assumed. R2. Move into its internal intuitionistic language before manipulating infinitesimals. R3. Apply the Kock–Lawvere axiom to obtain the unique linear coefficient. R4. Use microlinearity when extending finite infinitesimal diagrams. R5. Translate any result back to ordinary manifolds only through the model's embedding theorem.
Knowledge Transfer¶
The method transfers literally across synthetic smooth models satisfying the axioms. Formal system and manifold are broader parents; metaphorical talk of infinitesimal change or any coordinate-free proof does not instantiate SDG.
The transfer boundary is explicit: DOMAIN-SPECIFIC PASS / PRIME FAIL: The framework applies across smooth manifolds, jet bundles, functorial constructions, and suitable topos models. Literal recognition retains the specialist vocabulary and validity conditions of category-theoretic differential geometry; outside that setting only broader parent operations transfer.
Relationships to Other Abstractions¶
Current abstraction Synthetic differential geometry Domain-specific
Parents (2) — more general patterns this builds on
-
Synthetic differential geometry is a kind of Formal System Prime
Formal System (
prime:formal_system). -
Synthetic differential geometry is a kind of Manifold Prime
Manifold (
prime:manifold).
Hierarchy paths (3) — routes to 3 parentless roots
- Synthetic differential geometry → Formal System → Formalization → Representation → Abstraction
- Synthetic differential geometry → Manifold → Topology
- Synthetic differential geometry → Formal System → Formalization → Transformation → Function (Mapping)
Neighborhood in Abstraction Space¶
Synthetic differential geometry sits in a sparse region of the domain-specific corpus (70th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Algebraic Geometry & Bundle Structure (14 abstractions)
Nearest neighbors
- Auslander–Reiten theory — 0.86
- Cubical Set — 0.84
- Complete variety — 0.84
- Space-Filling Curve — 0.84
- Algebraic stack — 0.84
Computed from structural-signature embeddings · 2026-09-08