Toposes and Local Set Theories: An Introduction
| AUTHOR | Bell, J. L. |
| PUBLISHER | Dover Publications (01/11/2008) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
Topos theory has led to unexpected connections between classical and constructive mathematics. This text explores Lawvere and Tierney's concept of topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. A virtually self-contained introduction, this volume presents toposes as the models of theories -- known as local set theories -- formulated within a typed intuitionistic logic.
The introductory chapter explores elements of category theory, including limits and colimits, functors, adjunctions, Cartesian closed categories, and Galois connections. Succeeding chapters examine the concept of topos, local set theories, fundamental properties of toposes, sheaves, locale-valued sets, and natural and real numbers in local set theories. An epilogue surveys the wider significance of topos theory, and the text concludes with helpful supplements, including an appendix, historical and bibliographical notes, references, and indexes.
The introductory chapter explores elements of category theory, including limits and colimits, functors, adjunctions, Cartesian closed categories, and Galois connections. Succeeding chapters examine the concept of topos, local set theories, fundamental properties of toposes, sheaves, locale-valued sets, and natural and real numbers in local set theories. An epilogue surveys the wider significance of topos theory, and the text concludes with helpful supplements, including an appendix, historical and bibliographical notes, references, and indexes.
Show More
Product Format
Product Details
ISBN-13:
9780486462868
ISBN-10:
0486462862
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
English
More Product Details
Page Count:
290
Carton Quantity:
26
Product Dimensions:
5.51 x 0.56 x 8.41 inches
Weight:
0.65 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 | Set Theory
Dewey Decimal:
512.62
Library of Congress Control Number:
2007035598
Descriptions, Reviews, Etc.
publisher marketing
Topos theory has led to unexpected connections between classical and constructive mathematics. This text explores Lawvere and Tierney's concept of topos theory, a development in category theory that unites important but seemingly diverse notions from algebraic geometry, set theory, and intuitionistic logic. A virtually self-contained introduction, this volume presents toposes as the models of theories -- known as local set theories -- formulated within a typed intuitionistic logic.
The introductory chapter explores elements of category theory, including limits and colimits, functors, adjunctions, Cartesian closed categories, and Galois connections. Succeeding chapters examine the concept of topos, local set theories, fundamental properties of toposes, sheaves, locale-valued sets, and natural and real numbers in local set theories. An epilogue surveys the wider significance of topos theory, and the text concludes with helpful supplements, including an appendix, historical and bibliographical notes, references, and indexes.
The introductory chapter explores elements of category theory, including limits and colimits, functors, adjunctions, Cartesian closed categories, and Galois connections. Succeeding chapters examine the concept of topos, local set theories, fundamental properties of toposes, sheaves, locale-valued sets, and natural and real numbers in local set theories. An epilogue surveys the wider significance of topos theory, and the text concludes with helpful supplements, including an appendix, historical and bibliographical notes, references, and indexes.
Show More
List Price $16.95
Your Price
$16.78