Topos theory - Johnstone, P T (AP, 1977)