Reference. Synthetic differential geometry [kock2006synthetic]

  • 2006
  • Anders Kock
  • Cambridge University Press, Volume 333

The aim of the present book is to describe a foundation for synthetic reasoning in differential geometry. We hope that such a foundational treatise will put the reader in a position where he, in his study of differential geometry, can utilize the synthetic method freely and rigorously, and that it will give him notions and language by which such study can be communicated.

@book{kock2006synthetic,
  title={Synthetic differential geometry},
  author={Kock, Anders},
  volume={333},
  year={2006},
  publisher={Cambridge University Press}
}