Saunders Mac Lane & Ieke Moerdijk. Sheaves in Geometry and Logic. Springer New York, 1992. https://doi.org/10.1007/978-1-4612-0927-0