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