
Stock image for illustration purposes only - book cover, edition or condition may vary.
Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)
Saunders Maclane
€ 76.84
FREE Delivery in Ireland
Description for Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)
Paperback.
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.
Product Details
Format
Paperback
Publication date
1994
Publisher
Springer
Condition
New
Signed by the author
;Yes
Number of Pages
630
Place of Publication
New York, NY, United States
ISBN
9780387977102
SKU
V9780387977102
Shipping Time
Usually ships in 4 to 8 working days
Ref
99-3
Reviews for Sheaves in Geometry and Logic: A First Introduction to Topos Theory (Universitext)
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 ... Read more