« Home
Reference.
Sheaves in Geometry and Logic: A First Introduction to Topos Theory
[shgl1994]
1994
·
Saunders Mac Lane, Ieke Moerdijk