Sketches of an Elephant: A Topos Theory Compendium - Volume 1

Informationen zum Autor Dr P. T. Johnstone Reader in the Foundations of Mathematics Department of Pure Mathematics and Mathematical Statistics University of Cambridge Cambridge CB3 0BW Klappentext 0 Zusammenfassung 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. Inhaltsverzeichnis A1: Regular and Cartesian Closed Categories A2: Toposes - Basic Theory A3: Allegories A4: Geometric Morphisms - Basic Theory B1: Fibrations and Indexed Categories B2: Internal and Locally Internal Categories B3: Toposes over a base B4: BTop/S as a 2-Category

Dettagli sul prodotto

• Autori: Johnstone, Peter T. Johnstone, Peter T. ( Johnstone, Peter T. (Reader in the Foundations of Johnstone, Peter T. (Reader in the Foundations of Mathematics Johnstone, Johnstone Peter T.
• Editore: Oxford University Press
• Lingue: Inglese
• Formato: Copertina rigida
• Pubblicazione: 12.09.2002
• EAN: 9780198534259
• ISBN: 978-0-19-853425-9
• Pagine: 562
• Serie: Oxford Logic Guides; Oxford Logic Guides
• Categorie: Scienze naturali, medicina, informatica, tecnica > Matematica > Fondamenti; MATHEMATICS / Geometry / General, MATHEMATICS / Logic, COMPUTERS / Machine Theory, geometry, Mathematical theory of computation, Mathematical logic