Sheaves in Geometry and Logic: A First Introduction to Topos Theory by Saunders Mac Lane, Ieke Moerdijk

Sheaves in Geometry and Logic: A First Introduction to Topos Theory

Saunders Mac Lane, Ieke Moerdijk

630 pages first pub 1992 (editions)

mathematics challenging informative reflective medium-paced
Powered by AI (Beta)
Loading...

Description

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 carriers for models of set theory. This text presents topos theory as it has d...

Read more

Community Reviews

Loading...

Content Warnings

Loading...