Topos theory
Book information
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.
Similar books
Topos Theory
1977 · DJVU
Notes on Logic and Set Theory
1987 · PDF
Topos theory
1977 · PDF
Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991
1992 · DJVU
Stone spaces
1982 · DJVU
Stone spaces
1982 · PDF
Indexed Categories and Their Applications
1978 · PDF
Applications of Categories in Computer Science: Proceedings of the London Mathematical Society Symposium, Durham 1991
1992 · DJVU