"Models for smooth infinitesimal analysis" - читать интересную книгу автора (Ieke Moerdijk, Gonzalo E. Reyes)