|
Product Description
A classic introduction to mathematical logic from the perspective of category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers. Its approach moves always from the particular to the general, following through the steps of the abstraction process until the abstract concept emerges naturally.
Beginning with a survey of set theory and its role in mathematics, the text proceeds to definitions and examples of categories and explains the use of arrows in place of set-membership. The introduction to topos structure covers topos logic, algebra of subobjects, and intuitionism and its logic, advancing to the concept of functors, set concepts and validity, and elementary truth. Explorations of categorial set theory, local truth, and adjointness and quantifiers conclude with a study of logical geometry.
Beginning with a survey of set theory and its role in mathematics, the text proceeds to definitions and examples of categories and explains the use of arrows in place of set-membership. The introduction to topos structure covers topos logic, algebra of subobjects, and intuitionism and its logic, advancing to the concept of functors, set concepts and validity, and elementary truth. Explorations of categorial set theory, local truth, and adjointness and quantifiers conclude with a study of logical geometry.
Customers Who Bought This Item Also Bought
- Category Theory in Context (Aurora: Dover Modern Math Originals)
- Conceptual Mathematics: A First Introduction to Categories
- Category Theory (Oxford Logic Guides)
- Categories for the Working Mathematician (Graduate Texts in Mathematics)
- An Invitation to Applied Category Theory: Seven Sketches in Compositionality
- An Introduction to Category Theory
- Topos Theory (Dover Books on Mathematics)
- Model Theory: Third Edition (Dover Books on Mathematics)
- Computability and Logic Fifth Edition
- Philosophy and Model Theory
*If this is not the "Topoi: The Categorial Analysis of Logic (Dover Books on Mathematics)" product you were looking for, you can check the other results by clicking this link. Details were last updated on Dec 17, 2024 11:48 +08.