Synthetic differential geometry - Kock, Anders (London Mathematical Society lecture note series, 1981)