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