synthetic differential geometry
Introductions
from point-set topology to differentiable manifolds
geometry of physics: coordinate systems, smooth spaces, manifolds, smooth homotopy types, supergeometry
Differentials
Tangency
The magic algebraic facts
Theorems
Axiomatics
Models
differential equations, variational calculus
Chern-Weil theory, ∞-Chern-Weil theory
Cartan geometry (super, higher)
This page is to record the reference:
Categorical dynamics
Chicago lectures (1967 )
pp. 1-28 in:
Anders Kock (ed.),
Topos Theoretic Methods in Geometry,
Aarhus Univ. Var. Pub. Ser. 30 (1979).
PDF files of chapter and volume.
Categorical Dynamics Revisited, talk at Sets Within Geometry, Nancy, France 26-29 July 2011 (recording)
which together with Toposes of laws of motion forms the beginning of the theory of synthetic differential geometry and its use in the foundations of continuum physics.
Last revised on May 9, 2025 at 15:07:31. See the history of this page for a list of all contributions to it.