Sketches of an Elephant: A Topos Theory Compendium
2 Volume Set
Seiten
2002
Oxford University Press
978-0-19-852496-0 (ISBN)
Oxford University Press
978-0-19-852496-0 (ISBN)
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 organised 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.
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 organised 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 Dept of Pure Mathematics & Mathematical Statistics University of Cambridge Cambridge CB3 0BW
A1 REGULAR AND CARTESIAN CLOSED CATEGORIES ; C1 SHEAVES ON A LOCALE
| Erscheint lt. Verlag | 12.9.2002 |
|---|---|
| Reihe/Serie | Oxford Logic Guides ; 43 & 44 |
| Verlagsort | Oxford |
| Sprache | englisch |
| Maße | 166 x 244 mm |
| Gewicht | 2029 g |
| Themenwelt | Mathematik / Informatik ► Informatik ► Theorie / Studium |
| Mathematik / Informatik ► Mathematik ► Angewandte Mathematik | |
| Mathematik / Informatik ► Mathematik ► Geometrie / Topologie | |
| Mathematik / Informatik ► Mathematik ► Logik / Mengenlehre | |
| ISBN-10 | 0-19-852496-X / 019852496X |
| ISBN-13 | 978-0-19-852496-0 / 9780198524960 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
