"Sketches of an Elephant: A Topos Theory Compendium, Volume 1 & 2 (Oxford Logic Guides, 43-44)" - читать интересную книгу автора (Peter T. Johnstone)