Umfang:
1 Online-Ressource (xiv, 551 Seiten)
,
Illustrationen, Diagramme
Ausgabe:
Revised edition
Ausgabe:
Online-Ausgabe
ISBN:
0444867112
,
9780444867117
,
9781483299211
,
148329921X
Serie:
Studies in logic and the foundations of mathematics volume 98
Inhalt:
The first of its kind, this book presents a widely accessible exposition of topos theory, aimed at the philosopher-logician as well as the mathematician. It is suitable for individual study or use in class at the graduate level (it includes 500 exercises). It begins with a fully motivated introduction to category theory itself, moving always from the particular example to the abstract concept. It then introduces the notion of elementary topos, with a wide range of examples and goes on to develop its theory in depth, and to elicit in detail its relationship to Kripke's intuitionistic semantics, models of classical set theory and the conceptual framework of sheaf theory (``localization'' of truth). Of particular interest is a Dedekind-cuts style construction of number systems in topoi, leading to a model of the intuitionistic continuum in which a ``Dedekind-real'' becomes represented as a ``continuously-variable classical real number''
Inhalt:
The first of its kind, this book presents a widely accessible exposition of topos theory, aimed at the philosopher-logician as well as the mathematician. It is suitable for individual study or use in class at the graduate level (it includes 500 exercises). It begins with a fully motivated introduction to category theory itself, moving always from the particular example to the abstract concept. It then introduces the notion of elementary topos, with a wide range of examples and goes on to develop its theory in depth, and to elicit in detail its relationship to Kripke's intuitionistic semantics, models of classical set theory and the conceptual framework of sheaf theory (``localization'' of truth). Of particular interest is a Dedekind-cuts style construction of number systems in topoi, leading to a model of the intuitionistic continuum in which a ``Dedekind-real'' becomes represented as a ``continuously-variable classical real number''
Anmerkung:
Includes bibliographical references (p) and index. - Description based on print version record
Weitere Ausg.:
ISBN 9781483299211
Weitere Ausg.:
ISBN 148329921X
Weitere Ausg.:
ISBN 0444867112
Weitere Ausg.:
ISBN 9780444867117
Weitere Ausg.:
ISBN 0444867112
Weitere Ausg.:
Erscheint auch als Druck-Ausgabe Goldblatt, Robert, 1949 - Topoi Amsterdam [u.a.] : North-Holland, 1984 ISBN 0444867112
Sprache:
Englisch
Fachgebiete:
Mathematik
Schlagwort(e):
Topos
;
Mathematische Logik
;
Electronic books
;
Electronic books
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
