Book:Robert Goldblatt/Topoi: The Categorical Analysis of Logic

From ProofWiki
Jump to navigation Jump to search

Robert Goldblatt: Topoi: The Categorical Analysis of Logic

Published $\text {1984}$

Subject Matter


Preface to the second edition
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: Intuitionism and its Logic
9: Functors
10: Set Concepts and Validity
11: Elementary Truth
12: Categorical Set Theory
13: Arithmetic
14: Local Truth
15: Adjointness and Quantifiers
16: Logical Geometry
Catalogue of Notation
Index of Definitions