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

## 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