Tournament of Books 2015
 
 

Special Offers see all

Enter to WIN a $100 Credit

Subscribe to PowellsBooks.news
for a chance to win.
Privacy Policy

Visit our stores


    Recently Viewed clear list


    Original Essays | December 8, 2014

    Marina Warner: IMG How Is Fantasy Different from Fairy Tale?



    Fairy tale is a country of the mind where there are many inhabitants stretching back into deep time, and we're like people before Babel, we speak a... Continue »

    spacer
Qualifying orders ship free.
$29.95
New Trade Paper
Ships in 1 to 3 days
Add to Wishlist
Qty Store Section
1 Burnside Mathematics- Foundations and Logic
25 Remote Warehouse Mathematics- Logic and Philosophy

Topoi: The Categorial Analysis of Logic

by

Topoi: The Categorial Analysis of Logic Cover

 

Synopses & Reviews

Publisher Comments:

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.

Synopsis:

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.

Table of Contents

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

Product Details

ISBN:
9780486450261
Author:
Goldblatt, Robert
Publisher:
Dover Publications
Author:
Mathematics
Subject:
Logic
Subject:
Number Theory
Subject:
Toposes.
Subject:
Mathematics-Logic and Philosophy
Copyright:
Edition Description:
Trade Paper
Series:
Dover Books on Mathematics
Publication Date:
20060431
Binding:
TRADE PAPER
Language:
English
Illustrations:
Y
Pages:
592
Dimensions:
8.5 x 5.38 in 1.42 lb

Related Subjects


Science and Mathematics » Mathematics » Advanced
Science and Mathematics » Mathematics » Foundations and Logic
Science and Mathematics » Mathematics » General
Science and Mathematics » Mathematics » History
Science and Mathematics » Mathematics » Logic and Philosophy
Science and Mathematics » Mathematics » Number Theory
Science and Mathematics » Physics » Optics

Topoi: The Categorial Analysis of Logic New Trade Paper
0 stars - 0 reviews
$29.95 In Stock
Product details 592 pages Dover Publications - English 9780486450261 Reviews:
"Synopsis" by ,
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.

spacer
spacer
  • back to top

FOLLOW US ON...

     
Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.