Del 21 - Oxford Logic Guides

Elementary Categories, Elementary Toposes

Häftad, Engelska, 1995

2 119 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

The book covers elementary aspects of category theory and topos theory. It has few mathematical prerequisites, and uses categorical methods throughout rather than beginning with set theoretic foundations. It works with key notions such as cartesian closedness, adjunctions, regular categories, and the internal logic of a topos. Full statements and elementary proofs are given for the central theorems, including the fundamental theorem of toposes, the sheafification theorem, and the construction of Grothendieck toposes over any topos as base. Three chapters discuss applications of toposes in detail, namely to sets, to basic differential geometry, and to recursive analysis.

Produktinformation

Utgivningsdatum1995-04-27
Mått155 x 233 x 16 mm
Vikt429 g
FormatHäftad
SpråkEngelska
SerieOxford Logic Guides
Antal sidor278
FörlagClarendon Press
ISBN9780198514732

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik

Introduction; PART I: CATEGORIES: Rudimentary structures in a category; Products, equalizers, and their duals; Groups; Sub-objects, pullbacks, and limits; Relations; Cartesian closed categories; Product operators and others; PART II: THE CATEGORY OF CATEGORIES: Functors and categories; Natural transformations; Adjunctions; Slice categories; Mathematical foundations; PART III: TOPOSES: Basics; The internal language; A soundness proof for topos logic; From the internal language to the topos; The fundamental theorem; External semantics; Natural number objects; Categories in a topos; Topologies; PART IV: SOME TOPOSES: Sets; Synthetic differential geometry; The effective topos; Relations in regular categories; Further reading; Bibliography; Index.

Mer från samma serie

Consequence Relations

Alex Citkin, Alexei Muravitsky, New York) Citkin, Alex (CIO, CIO, Metropolitan Telecommunications, Louisiana Scholars' College at Northwestern State University of Louisiana) Muravitsky, Alexei (Professor of Mathematics, Professor of Mathematics

Inbunden

1 609 kr

Fragments of First-Order Logic

Ian Pratt-Hartmann, University of Opole) Pratt-Hartmann, Ian (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole, Senior Lecturer, University of Manchester Professor of Mathematical Sciences

Inbunden

2 309 kr

Del 24

Introduction to Logic and to the Methodology of Deductive Sciences

Alfred Tarski, The late Alfred Tarski, Jan Tarski

Inbunden

2 159 kr

Del 19

Gödel's Incompleteness Theorems

Raymond M. Smullyan, USA) Smullyan, Raymond M. (Professor, City College, Professor, City College, City University of New York

Inbunden

4 289 kr

Del 22

Recursion Theory for Metamathematics

Raymond M. Smullyan, Indiana University) Smullyan, Raymond M. (Professor of Philosophy, Professor of Philosophy

Inbunden

2 859 kr

Del 36

Twenty Five Years of Constructive Type Theory

Giovanni Sambin, Jan M. Smith, Italy) Sambin, Giovanni (Professor of Mathematical Logic, Professor of Mathematical Logic, University of Padua, Sweden) Smith, Jan M. (Professor, Department of Computing Science, Professor, Department of Computing Science, Chalmers University of Technology, Jan Smith

Inbunden

1 589 kr

Del 42

Change, Choice and Inference

Hans Rott, Germany) Rott, Hans (, Professor of Philosophy, University of Regensburg

Inbunden

3 139 kr

Del 38

Fibring Logics

Dov M. Gabbay, London) Gabbay, Dov M. (Professor of Computer Science, Professor of Computer Science, King's College

Inbunden

1 979 kr

Del 39

Elements of Intuitionism

Michael Dummett, University of Oxford) Dummett, Michael (Emeritus Professor of Philosophy, Emeritus Professor of Philosophy

Inbunden

4 669 kr

Del 46

Interpolation and Definability

Dov M. Gabbay, Larisa Maksimova, King's College London) Gabbay, Dov M. (, Department of Computer Science, Russia) Maksimova, Larisa (, Institute of Mathematics, Siberian Branch of Russian Academy of Science, Novosibirsk

Inbunden

3 619 kr

Du kanske också är intresserad av

Del 30

Features and Fluents

Erik Sandewall, Sweden) Sandewall, Erik (Professor, Department of Computer and Information Science, Professor, Department of Computer and Information Science, Linkoping University

Inbunden

1 909 kr