ENGLISH

Topoi: The Categorial Analysis of Logic

By Robert Goldblatt

Book information

Publisher
Elsevier
Year
1984
ISBN
0444867112, 9780444867117
ISSN
0049-237X
Language
english
Format
PDF
Filesize
12 MB (12118401 bytes)
Series
Studies in Logic and the Foundations of Mathematics 98
Edition
revised
Pages
569\569
Topic
Mathematics Logic
Orientation
no
Scanned
yes
Time added
2013-05-08 09:22:57

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.

Similar books