Sheaves in geometry and logic (1992)

by Mac Lane, S, I Moerdijk