"Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)" - читать интересную книгу автора (Saunders MacLane, Ieke Moerdijk)