Sheaves in Geometry and Logic by Saunders Mac Lane, Ieke Moerdijk (Universitext)

"A beautifully written book, a long and well motivated book packed with well chosen clearly explained examples. … authors have …