Robert Goldblatt
Topoi: the Categorial Analysis of Logic
- ISBN 13:
- 9780486450261
- author:
- Robert Goldblatt
- format:
- Paperback
- publisher:
- Dover Publications Inc.
- language:
- English
- Publication Year:
- 2006
- Pages:
- 576
- Genre:
- Mathematics Textbook
- Condition:
- New
- Availability:
- Item usually sent within 7 working days
Description
Topoi: A Categorial Analysis of Logic by Robert Goldblatt is an introduction to mathematical logic from the perspective of category theory. This text is suitable for advanced undergraduates and graduate students, as well as readers with a philosophical or mathematical background.
The book begins with a survey of set theory and its role in mathematics, before moving on to definitions and examples of categories and the use of arrows in place of set-membership. It then explores topos structure, covering topics such as topos logic, algebra of subobjects, and intuitionism and its logic.
The text concludes with a study of logical geometry, exploring concepts such as categorial set theory, local truth, and adjointness and quantifiers. With its approach from the particular to the general, this book provides a comprehensive understanding of mathematical logic through category theory.