Synthetic differential geometry - Kock, Anders (Cambridge University Press, 1981)