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

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