"Sheaves in geometry and logic: a first introduction to topos theory" - читать интересную книгу автора (Saunders MacLane, Ieke Moerdijk)