"Sketches of an elephant: a topos theory compendium, 2 volume set" - читать интересную книгу автора (Peter T. Johnstone)