Verwandte Artikel zu Toposes and Local Set Theories: An Introduction (Dover...

Toposes and Local Set Theories: An Introduction (Dover Books on Mathematics) - Softcover

Bell, J. L.

 
9780486462868: Toposes and Local Set Theories: An Introduction (Dover Books on Mathematics)
Softcover
ISBN 10: 0486462862 ISBN 13: 9780486462868
Verlag: Dover Publications Inc., 2008

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

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

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Dover Publications Inc.
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
0486462862
ISBN 13 
9780486462868
Einband
Taschenbuch
Anzahl der Seiten
288
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Soc. Agr. La Raia Ss
http://www.la-raia.it

Strada Monterotondo, 79
Novi Ligure
15067
Italien