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

Robert Goldblatt: Topoi: The Categorical Analysis of Logic

Published $\text {1984}$

Subject Matter

• Topos

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