by Anders Kock
An elegant book that is sure to become the standard introduction to synthetic differential geometry.