Reference. Sheaves in Geometry and Logic: A First Introduction to Topos Theory [shgl1994]

1994 · Saunders Mac Lane, Ieke Moerdijk