"Sketches of an Elephant: A Topos Theory Compendium" - читать интересную книгу автора (Peter T. Johnstone)