Email Record: Synthetic differential geometry / Anders Kock.