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