Experimenting with synthetic differential geometry. Useful book on the subject: - Anders Kock, [Synthetic Differential Geometry](https://math.au.dk/~kock/sdg99.pdf), Cambridge University Press 1981, 2006