Synthetic differential geometry - Kock Anders (Cambridge Cambridge University Press, 1981)
Keywords: Geometry-Differential