Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Sketches of an Elephant: A Topos Theory Compendium - Peter T. Johnstone

Sketches of an Elephant: A Topos Theory Compendium

Volume 1
Buch | Hardcover
562 Seiten
2002
Oxford University Press (Verlag)
978-0-19-853425-9 (ISBN)
CHF 309,30 inkl. MwSt
Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. This compendium aims to present a comprehensive account of the main approaches and demonstrate the overall unity of the subject.
Topos Theory is a subject that stands at the junction of geometry, mathematical logic and theoretical computer science, and it derives much of its power from the interplay of ideas drawn from these different areas. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text.

Dr P. T. Johnstone Reader in the Foundations of Mathematics Department of Pure Mathematics and Mathematical Statistics University of Cambridge Cambridge CB3 0BW

A1 Regular and Cartesian Closed Categories ; A2 Toposes - Basic Theory ; A3 Allegories ; A4 Geometric Morphisms - Basic Theory ; B1 Fibrations and Indexed Categories ; B2 Internal and Locally Internal Categories ; B3 Toposes over a base ; B4 BTop/S as a 2-Category

Erscheint lt. Verlag 26.9.2002
Reihe/Serie Oxford Logic Guides ; 43
Verlagsort Oxford
Sprache englisch
Maße 163 x 242 mm
Gewicht 1018 g
Themenwelt Mathematik / Informatik Informatik Theorie / Studium
Mathematik / Informatik Mathematik Geometrie / Topologie
Mathematik / Informatik Mathematik Logik / Mengenlehre
ISBN-10 0-19-853425-6 / 0198534256
ISBN-13 978-0-19-853425-9 / 9780198534259
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich
was jeder über Informatik wissen sollte

von Timm Eichstädt; Stefan Spieker

Buch | Softcover (2024)
Springer Vieweg (Verlag)
CHF 53,15
Grundlagen – Anwendungen – Perspektiven

von Matthias Homeister

Buch | Softcover (2022)
Springer Vieweg (Verlag)
CHF 48,95
Eine Einführung in die Systemtheorie

von Margot Berghaus

Buch | Softcover (2022)
UTB (Verlag)
CHF 34,95