and Ieke Moerdijk. Sheaves in geometry and logic (1994)

by Saunders Mac Lane