Sheaves in Geometry and Logic: A First Introduction to Topos Theory
by Saunders MacLane
4.65(26 ratings)
Sheaves arose in geometry as coefficients for cohomology and as descriptions of the functions appropriate to various kinds of manifolds. Sheaves also appear in logic as carrie…