Sheaves in Geometry and Logic
A First Introduction to Topos Theory
Saunders Mac Lane, Izak Moerdijk
Résumé
This book is an introduction to the theory of toposes, as first developed by Grothendieck and later developed by Lawvere and Tierney. Beginning with several illustrative examples, the book 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.
This is the first text to address all of these various aspects of topos theory at the graduate student level.
Contents- Categories of Functors
- Sheaves of Sets
- Grothendieck Topologies and Sheaves
- First Properties of Elementary Topoi
- Basic Constructions of Topoi
- Topoi and Logic
- Geometric Morphisms
- Classifying Topoi
- Localic Topoi
- Geometric Logic and Classifying Topoi
- Appendix: Sites for Topoi
L'auteur - Izak Moerdijk
University of Utrecht, The Netherlands
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | Saunders Mac Lane, Izak Moerdijk |
| Parution | 01/01/1992 |
| Nb. de pages | 630 |
| Couverture | Broché |
| Intérieur | Noir et Blanc |
| EAN13 | 9780387977102 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
