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.
Read more
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.
Read more
C1 Sheaves on a Locale ; C2 Sheaves on a Site ; C3 Classes of Geometric Morphisms ; C4 Local Compactness and Exponentiability ; C5 Toposes as Groupoids ; D1 First-Order Categorical Logic ; D2 Sketches ; D3 Classifying Toposes ; D4 Higher-Order Logic ; D5 Aspects of Finiteness
Read more
Author has excellent reputation
Expert expository treatment
An important and unrivalled reference
Full bibliography of topos theory
Detailed index
2nd volume of a 3 volume compendium, volume 3 to be published after 2007
Read more
Dr P.T. Johnstone
Reader in the Foundations of Mathematics
Department of Pure Mathematics & Mathematical Statistics
University of Cambridge
Cambridge
CB3 0BW
Author has excellent reputation
Expert expository treatment
An important and unrivalled reference
Full bibliography of topos theory
Detailed index
2nd volume of a 3 volume compendium, volume 3 to be published after 2007
Read more
Product details
ISBN
9780198515982
Published
2002
Publisher
Oxford University Press
Weight
1208 gr
Height
242 mm
Width
162 mm
Thickness
42 mm
Age
P, 06
Language
Product language
Engelsk
Format
Product format
Innbundet
Number of pages
716
Author