Text this: Synthetic differential geometry / Anders Kock.