Description
One of the best books on a relatively new branch of mathematics, this text is the work of a leading authority in the field of topos theory. Suitable for advanced undergraduates and graduate students of mathematics, the treatment focuses on how topos theory integrates geometric and logical ideas into the foundations of mathematics and theoretical computer science.
After a brief overview, the approach begins with elementary toposes and advances to internal category theory, topologies and sheaves, geometric morphisms, and logical aspects of topos theory. Additional topics include natural number objects, theorems of Deligne and Barr, cohomology, and set theory. Each chapter concludes with a series of exercises, and an appendix and indexes supplement the text.
Author: P. T. Johnstone
Publisher: Dover Publications
Published: 01/15/2014
Pages: 400
Binding Type: Paperback
Weight: 1.20lbs
Size: 9.10h x 6.10w x 0.90d
ISBN13: 9780486493367
ISBN10: 0486493369
BISAC Categories:
- Mathematics | Logic
- Mathematics | Algebra | Linear
After a brief overview, the approach begins with elementary toposes and advances to internal category theory, topologies and sheaves, geometric morphisms, and logical aspects of topos theory. Additional topics include natural number objects, theorems of Deligne and Barr, cohomology, and set theory. Each chapter concludes with a series of exercises, and an appendix and indexes supplement the text.
Author: P. T. Johnstone
Publisher: Dover Publications
Published: 01/15/2014
Pages: 400
Binding Type: Paperback
Weight: 1.20lbs
Size: 9.10h x 6.10w x 0.90d
ISBN13: 9780486493367
ISBN10: 0486493369
BISAC Categories:
- Mathematics | Logic
- Mathematics | Algebra | Linear
About the Author
P. T. Johnstone is Professor of the Foundations of Mathematics at the University of Cambridge and a Fellow of St. John's College, Cambridge.
This title is not returnable