and Ieke Moerdijk, Sheaves in geometry and logic, Universitext (1994)

by Saunders Mac Lane
Venue:MR MR1300636 (96c:03119