This introduction to topos theory examines local set theories, fundamental properties of toposes, sheaves, locale-valued sets, and natural and real numbers in local set theories. 1988 edition.
Reihe
Sprache
Verlagsort
Produkt-Hinweis
Broschur/Paperback
Klebebindung
Maße
Höhe: 214 mm
Breite: 140 mm
Dicke: 14 mm
Gewicht
ISBN-13
978-0-486-46286-8 (9780486462868)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
J. L. Bell is a Professor at the University of Western Ontario and co-author of Dover's Models and Ultraproducts.
1. Elements of category theory
2. Introducing toposes
3. Local set theories
4. Fundamental properties of toposes
5. From logic to sheaves
6. Locale-valued sets
7. Natural numbers and real numbers
8. Epilogue: the wider significance of topos theory
Appendix: Geometric theories and classifying toposes
Historical and bibliographical notes
References
Index of symbols
Index of terms
