Topoi: The Categorial Analysis of Logic

Klappentext A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Robert Goldblatt is Professor of Pure Mathematics at New Zealand's Victoria University. 1983 edition. Inhaltsverzeichnis 1. Mathematics = Set Theory?2. What Categories Are3. Arrows Instead of Epsilon4. Introducing Topoi5. Topos Structure: First Steps6. Logic Classically Conceived7. Algebra of Subobjects8. Institutionism and Its Logic9. Functors10. Set Concepts and Validity11. Elementary Truth12. Categorial Set Theory13. Arithmetic14. Local Truth15. Adjointness and Quantifiers16. Logical GeometryReferencesCatalogue of NotationIndex of Definitions

Contenu

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. Institutionism and Its Logic 9. Functors 10. Set Concepts and Validity 11. Elementary Truth 12. Categorial Set Theory 13. Arithmetic 14. Local Truth 15. Adjointness and Quantifiers 16. Logical Geometry References Catalogue of Notation Index of Definitions