Topos Theory
P. T. Johnstone