Topoi: The Categorial Analysis of Logic
| AUTHOR | Goldblatt, Robert |
| PUBLISHER | Dover Publications (04/28/2006) |
| PRODUCT TYPE | Paperback (Paperback) |
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.
Show More
Product Format
Product Details
ISBN-13:
9780486450261
ISBN-10:
0486450260
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
592
Carton Quantity:
14
Product Dimensions:
5.50 x 1.30 x 8.40 inches
Weight:
1.50 pound(s)
Feature Codes:
Bibliography,
Index,
Price on Product - Canadian,
Price on Product,
Table of Contents,
Illustrated
Country of Origin:
US
Subject Information
BISAC Categories
Mathematics | Logic
Mathematics | Number Theory
Dewey Decimal:
512.62
Library of Congress Control Number:
2005046778
Descriptions, Reviews, Etc.
publisher marketing
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.
Show More
Author:
Goldblatt, Robert
Robert Goldblatt is a Professor of Pure Mathematics at the Victoria University of Wellington, New Zealand, and a Fellow of the Royal Society of New Zealand. He has served as the Co-ordinating Editor of the Journal of Symbol Logic and has been a Managing Editor of Studia Logica for the past two decades.
Show More
List Price $29.95
Your Price
$29.65