Peter T. Johnstone - Böcker
Visar alla böcker från författaren Peter T. Johnstone. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Del 44 - Oxford Logic Guides
Sketches of an Elephant: A Topos Theory Compendium
Volume 2
Inbunden, Engelska, 2002
5 111 kr
Skickas inom 5-8 vardagar
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.
Del 43 - Oxford Logic Guides
Sketches of an Elephant: A Topos Theory Compendium
Volume 1
Inbunden, Engelska, 2002
5 111 kr
Skickas inom 5-8 vardagar
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.
630 kr
Skickas inom 7-10 vardagar
Over the last 45 years, Boolean theorem has been generalized and extended in several different directions and its applications have reached into almost every area of modern mathematics; but since it lies on the frontiers of algebra, geometry, general topology and functional analysis, the corpus of mathematics which has arisen in this way is seldom seen as a whole. In order to give a unified treatment of this rather diverse body of material, Dr Johnstone begins by developing the theory of locales (a lattice-theoretic approach to 'general topology without points' which has achieved some notable results in the past ten years but which has not previously been treated in book form). This development culminates in the proof of Stone's Representation Theorem.