My Account
Log in Registration
All
Cart
Highlights
Fiction Books
Non-Fiction Books
Children's Books
Rare Books
Music
DVD & Blu-Ray
Video Games
Category
Wishlists
Cart
All
Free Shipping in Australia
Trustpilot
Proud to be B-Corp

Sheaves in Geometry and Logic Saunders MacLane

Sheaves in Geometry and Logic By Saunders MacLane

Sheaves in Geometry and Logic by Saunders MacLane

Reviews:
$153.79
Condition - New
Only 2 left
New

Summary

Sheaves also appear in logic as carriers for models of set theory. 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.

Sheaves in Geometry and Logic Summary

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

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.

Sheaves in Geometry and Logic Reviews

From the reviews:

"A beautifully written book, a long and well motivated book packed with well chosen clearly explained examples. … authors have a rare gift for conveying an insider’s view of the subject from the start. This book is written in the best Mac Lane style, very clear and very well organized. … it gives very explicit descriptions of many advanced topics--you can learn a great deal from this book that, before it was published, you could only learn by knowing researchers in the field." (Wordtrade, 2008)

Table of Contents

Preface; Prologue; Categorical Preliminaries; 1. Categories of Functors; 2. Sheaves of Sets; 3. Grothendieck Topologies and Sheaves; 4. First Properties of Elementary Topoi; 5. Basic Constructions of Topoi; 6. Topoi and Logic; 7. Geometric Morphisms; 8. Classifying Topoi; 9. Localic Topoi; 10. Geometric Logic and Classifying Topoi; Appendix: Sites for Topoi; Epilogue; Bibliography; Index of Notations; Index

Additional information

NGR9780387977102
9780387977102
0387977104
Sheaves in Geometry and Logic: A First Introduction to Topos Theory by Saunders MacLane
Saunders MacLane
Universitext
New
Paperback
Springer-Verlag New York Inc.
1994-10-27
630
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Customer Reviews - Sheaves in Geometry and Logic