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

From ProofWiki
Jump to: navigation, search

Robert Goldblatt: Topoi: The Categorical Analysis of Logic

Published $1984$.


Subject Matter


Contents

Preface
Preface to the second edition
Prospectus
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
References
Catalogue of Notation
Index of Definitions