Free Shipping on Orders of $40 or More
Topoi: The Categorial Analysis of Logic

Topoi: The Categorial Analysis of Logic

by Robert Goldblatt
Topoi: The Categorial Analysis of Logic

Topoi: The Categorial Analysis of Logic

by Robert Goldblatt


Choose Expedited Shipping at checkout for delivery by Thursday, February 2


A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Its approach moves always from the particular to the general, following through the steps of the abstraction process until the abstract concept emerges naturally.
Beginning with a survey of set theory and its role in mathematics, the text proceeds to definitions and examples of categories and explains the use of arrows in place of set-membership. The introduction to topos structure covers topos logic, algebra of subobjects, and intuitionism and its logic, advancing to the concept of functors, set concepts and validity, and elementary truth. Explorations of categorial set theory, local truth, and adjointness and quantifiers conclude with a study of logical geometry.

Related collections and offers

Product Details

ISBN-13: 9780486450261
Publisher: Dover Publications
Publication date: 04/28/2006
Series: Dover Books on Mathematics
Edition description: REVISED
Pages: 592
Product dimensions: 5.50(w) x 8.50(h) x (d)

Table of Contents

1. Mathematics = Set Theory?
2. What Categories Are
3. Arrows Instead of Epsilon
4. Introducing Topoi
5. Topos Structure: First Steps
6. Logic Classically Conceived
7. Algebra of Subobjects
8. Institutionism and Its Logic
9. Functors
10. Set Concepts and Validity
11. Elementary Truth
12. Categorial Set Theory
13. Arithmetic
14. Local Truth
15. Adjointness and Quantifiers
16. Logical Geometry
Catalogue of Notation
Index of Definitions

Customer Reviews

Explore More Items