Differential Geometry in Toposes
This note explains the following
topics: From Kock–Lawvere axiom to microlinear spaces, Vector
bundles,Connections, Affine space, Differential forms, Axiomatic structure of
the real line, Coordinates and formal manifolds, Riemannian structure,
Well-adapted topos models.
Author(s): Ryszard Pawe Kostecki
93 Pages