Couverture : Open Library
Résumé
The book covers elementary aspects of category theory and topos theory. It has few mathematical prerequisites, and uses categorical methods throughout, rather than beginning with set theoretical foundations. It works with key concepts such as Cartesian closedness, adjunctions, regular categories, and the internal logic of a topos. Full statements and elementary proofs are given for the central theorems, including the fundamental theorem of toposes, the sheafification theorem, and the construction of Grothendieck toposes over any topos as base. Three chapters discuss applications of toposes in detail, namely to sets, to basic differential geometry, and to recursive analysis. The intended readership consists of graduate-level students in mathematics, computer science, logic, and category theory.
Détails de l'édition
- ISBN-13
- 9780198533924
- ISBN-10
- 0198533926
- EAN
- 9780198533924
- Éditeur
- Clarendon press (Oxford)
- Date de publication
- 1 janvier 1992
- Langue
- en
- Pages
- 265
- Dimensions
- 24 cm
Provenance des données
- dimensions BnF Catalogue général · 23 juillet 2026
- language Google Books · 8 septembre 2026
- page_count BnF Catalogue général · 23 juillet 2026
- publication_date BnF Catalogue général · 23 juillet 2026
- summary Google Books · 8 septembre 2026
- title Google Books · 8 septembre 2026