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