Synthetic differential geometry

In mathematics, synthetic differential geometry is a formalization of the theory of differential geometry in the language of topos theory. There are several insights that allow for such a reformulation.

Source: Wikipedia — Synthetic differential geometry (CC BY-SA 4.0)