Lane and Ieke Moerdijk, Sheaves in geometry and logic: A first introduction to topos theory (1992)

by Saunders Mac