Moerdijk I. and G. E. Reyes (1983). Cohomology theories in synthetic differential
geometry. In A. Kock (ed.). Proc. Workshop on category theoretic methods in
Geometry. Aarhus: Various Publications, 1-67.
« Synthetic Calculus and Smooth Functors • Smooth spaces versus continuous spaces in models for Synthetic Differential Geometry »