One of the best books on a relatively new branch of mathematics, this volume focuses on how topos theory integrates geometric and logical ideas into the foundations of mathematics and theoretical computer science. Topics include internal category theory, topologies and sheaves, geometric morphisms, natural number objects, cohomology, set theory, and more. 1977 edition.
| ISBN: | 9780486493367 |
| Publication date: | 28th February 2014 |
| Author: | P T Johnstone |
| Publisher: | Dover Publications an imprint of Dover Publications Inc. |
| Format: | Paperback |
| Pagination: | 400 pages |
| Series: | Dover Books on Mathematics |
| Genres: |
Mathematical logic |