Sketches of an Elephant: A Topos Theory Compendium
Sketches of an Elephant: A Topos Theory Compendium
Regular price
Checking stock...
Regular price
Checking stock...
Summary
Topos Theory is an important branch of mathematical logic of interest to theoretical computer scientists, logicians and philosophers who study the foundations of mathematics, and to those working in differential geometry and continuum physics. This compendium presents a comprehensive account of all the main approaches.
The feel-good place to buy books
- Free US shipping over $15
- Buying preloved emits 41% less CO2 than new
- Millions of affordable books
- Give your books a new home - sell them back to us!
Sketches of an Elephant: A Topos Theory Compendium by Peter T Johnstone
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 & Mathematical Statistics University of Cambridge Cambridge CB3 0BW
| SKU | Unavailable |
| ISBN 13 | 9780198515982 |
| ISBN 10 | 0198515987 |
| Title | Sketches of an Elephant: A Topos Theory Compendium |
| Author | Peter T Johnstone |
| Series | Oxford Logic Guides |
| Condition | Unavailable |
| Binding Type | Hardback |
| Publisher | Oxford University Press |
| Year published | 2002-09-12 |
| Number of pages | 716 |
| Cover note | Book picture is for illustrative purposes only, actual binding, cover or edition may vary. |
| Note | Unavailable |