Topos theory - Johnstone, P. T. (Dover books on mathematics, 2014)