Sheaves in Geometry and Logic Saunders MacLane

Name: Sheaves in Geometry and Logic par Saunders MacLane
SKU: 9780387977102
Price: 82.00 EUR
Availability: OutOfStock

Sheaves in Geometry and Logic Saunders MacLane

82,00 €

État - Très bon état

Épuisé

Très bon état

SérieUniversitext

Résumé

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 Résumé

Sheaves in Geometry and Logic: A First Introduction to Topos Theory 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 Avis

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)

Sommaire

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

Informations supplémentaires

Sku

GOR005471195

ISBN 13

9780387977102

ISBN 10

0387977104

Titre

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

Auteur

Saunders MacLane

Série

Universitext

État

Occasion - Très bon état

Relié

Broché

Éditeur

Springer-Verlag New York Inc.

Année de publication

1994-10-27

Nombre de pages

630

Prix

N/A

Note de couverture

La photo du livre est présentée à titre d'illustration uniquement. La reliure, la couverture ou l'édition réelle peuvent varier.

Note

Il s'agit d'un livre d'occasion - par conséquent, il a été lu par quelqu'un d'autre et il présente des signes d'usure et d'utilisation antérieure. Dans l'ensemble, nous nous attendons à ce qu'il soit en très bon état, mais si vous n'êtes pas entièrement satisfait, veuillez prendre contact avec nous.