Moerdijk I. and G. E. Reyes (1986). Cohomology theories in synthetic differential geometry.
Memorias del Seminario-Taller en Teoría de Categorías, Bogotá, 1983. Revista
Colombiana de Matemáticas. Vol XX.Nos. 3 and 4, 223-276. (SDG)