×

Uh-oh, it looks like your Internet Explorer is out of date.

For a better shopping experience, please upgrade now.

Toposes and Local Set Theories: An Introduction
     

Toposes and Local Set Theories: An Introduction

by J. L. Bell
 

See All Formats & Editions


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

Overview


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.

Product Details

ISBN-13:
9780486462868
Publisher:
Dover Publications
Publication date:
01/11/2008
Series:
Dover Books on Mathematics Series
Pages:
288
Sales rank:
1,390,873
Product dimensions:
5.30(w) x 8.40(h) x 0.70(d)

Meet the Author

J. L. Bell is a Professor at the University of Western Ontario and co-author of Dover's Models and Ultraproducts.

Customer Reviews

Average Review:

Post to your social network

     

Most Helpful Customer Reviews

See all customer reviews