"Synthetic differential geometry" - читать интересную книгу автора (Anders Kock)