Format:
1 Online-Ressource (xiv, 551 Seiten)
,
Illustrationen, Diagramme
Edition:
Revised edition
Edition:
Online-Ausgabe
ISBN:
0444867112
,
9780444867117
,
9781483299211
,
148329921X
Series Statement:
Studies in logic and the foundations of mathematics volume 98
Content:
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''
Content:
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''
Note:
Includes bibliographical references (p) and index. - Description based on print version record
Additional Edition:
ISBN 9781483299211
Additional Edition:
ISBN 148329921X
Additional Edition:
ISBN 0444867112
Additional Edition:
ISBN 9780444867117
Additional Edition:
ISBN 0444867112
Additional Edition:
Erscheint auch als Druck-Ausgabe Goldblatt, Robert, 1949 - Topoi Amsterdam [u.a.] : North-Holland, 1984 ISBN 0444867112
Language:
English
Subjects:
Mathematics
Keywords:
Topos
;
Mathematische Logik
;
Electronic books
;
Electronic books
URL:
Volltext
(lizenzpflichtig)
URL:
Volltext
(lizenzpflichtig)
