Peter T. Johnstone (, Reader in the Foundations of Mathematics, Uni

SKETCH ELEPHANT VOL2 OLG 44 C

• Gebundenes Buch

Produktbeschreibung

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.

Produktdetails

• Oxford Logic Guides
• Verlag: Oxford University Press
• Seitenzahl: 718
• Erscheinungstermin: 12. September 2002
• Englisch
• Abmessung: 240mm x 161mm x 43mm
• Gewicht: 1176g
• ISBN-13: 9780198515982
• ISBN-10: 0198515987
• Artikelnr.: 58680046

Autorenporträt

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

Inhaltsangabe

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