Synthetic differential geometry

a formalization of the theory of differential geometry in the language of topos theory