Moerdijk I. and G. E. Reyes (1984). Smooth spaces versus continuous spaces in
models for Synthetic Differential Geometry. J. Pure and Applied Algebra 32,
143-176.
« Cohomology theories in synthetic differential geometry • De Rham’s theorem in smooth toposes »