Del 21

Elementary Categories, Elementary Toposes

Häftad, Engelska, 1995

Av McLarty, Colin McLarty

2 199 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

Du kanske också är intresserad av

Features and Fluents
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

1 979 kr

Geometric Stability Theory
Del 32

Geometric Stability Theory

Anand Pillay, USA) Pillay, Anand (, University of Illinois

2 269 kr

The Structure of Models of Peano Arithmetic
Del 50

The Structure of Models of Peano Arithmetic

Roman Kossak, James Schmerl, Roman (City University of New York) Kossak, Storrs) Schmerl, James (University of Connecticut, James H. Schmerl, James H Schmerl

2 429 kr

Simplicity Theory
Del 53

Simplicity Theory

Byunghan Kim, South Korea) Kim, Byunghan (Professor of Mathematics, Professor of Mathematics, Department of Mathematics, Yonsei University

1 959 kr

Recursion Theory for Metamathematics
Del 22

Recursion Theory for Metamathematics

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

2 979 kr

Sketches of an Elephant: A Topos Theory Compendium
Del 44

Sketches of an Elephant: A Topos Theory Compendium

Peter T. Johnstone, UK) Johnstone, Peter T. (, Reader in the Foundations of Mathematics, University of Cambridge, Cambridge, JOHNSTONE

6 679 kr

Twenty Five Years of Constructive Type Theory
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

1 659 kr

From Sets and Types to Topology and Analysis
Del 48

From Sets and Types to Topology and Analysis

Laura Crosilla, Peter Schuster, Laura (Universite di Firenze) Crosilla, Universitaet Munich) Schuster, Peter (Mathematical Institut

3 659 kr

Set Theory
Del 47

Set Theory

John L. Bell, J. L. Bell, J L Bell

659 kr

Many-Valued Logics
Del 25

Many-Valued Logics

Grzegorz Malinowski, Poland) Malinowski, Grzegorz (Head of Department of Logic, Head of Department of Logic, University of Lodz

2 129 kr