Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext) (Volume 0)
Product Description
Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext) (Volume 0)
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 developed from the study of sheaves. Beginning with several examples, it explains the underlying ideas of topology and sheaf theory as well as the general theory of elementary toposes and geometric morphisms and their relation to logic.
Technical Specifications
You might also like
Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)
Category Theory in Context (Aurora: Dover Modern Math Originals)
Categories for the Working Mathematician (Graduate Texts in Mathematics)
Topos Theory (Dover Books on Mathematics)
Higher Topos Theory (AM-170) (Annals of Mathematics Studies)
Algebraic Topology
Category Theory (Oxford Logic Guides)
Algebra: Chapter 0 (Graduate Studies in Mathematics)
The Homotopy Theory of (∞,1)-Categories (London Mathematical Society Student Texts)
Differential Forms in Algebraic Topology (Graduate Texts in Mathematics)