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.
"synopsis" may belong to another edition of this title.
Book Description Academic Press Inc, 1977. Book Condition: Good. N/A. Former Library book. Shows some signs of wear, and may have some markings on the inside. Bookseller Inventory # GRP88898658
Book Description Academic Press Inc, 1977. Hardcover. Book Condition: Used: Good. We ship International with Tracking Number! May not contain Access Codes or Supplements. Buy with confidence, excellent customer service! j. Bookseller Inventory # 0123878500D