Differential Geometry in Toposes by Ryszard Pawe Kostecki
File Type :PDF Number of Pages :93
Description 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,
Welladapted topos models.
