Johnstone, P. T. Topos theory Mineola, New York : Dover Publications, 2014. xxiii, 367 p. -- (Dover Books on Mathematics) QA611 J64 2014