Sheaves in Geometry and Logic
E157405
UNEXPLORED
Sheaves in Geometry and Logic is a foundational monograph that develops the theory of sheaves and topos theory and explores their deep connections to geometry, logic, and the foundations of mathematics.
Referenced by (1)
| Subject (surface form when different) | Predicate |
|---|---|
|
Saunders Mac Lane
→
|
notableWork |