Elementary Categories, Elementary Toposes

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

151,95 €

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:

Beschreibung

The book covers elementary aspects of category theory and topos theory for graduate students in mathematics, computer science, and logic; it has few mathematical prerequisites, and uses categorical methods throughout, rather than beginning with set theoretical foundations. Working with key concepts such as Cartesian closedness, adjunctions, regular categories, and the internal logic of a topos, the book features full statements and elementary proofs for the central theorems, including the fundamental theorem of toposes, the sheafification theorem, and the construction of Grothendieck toposes over any topos as base. Other chapters discuss applications of toposes in detail, namely to sets, to basic differential geometry, and to recursive analysis.

Inhaltsverzeichnis

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.

Details

Erscheinungsjahr:	1995
Fachbereich:	Allgemeines
Genre:	Importe , Mathematik
Rubrik:	Naturwissenschaften & Technik
Thema:	Lexika
Medium:	Taschenbuch
Inhalt:	Kartoniert / Broschiert
ISBN-13:	9780198514732
ISBN-10:	0198514735
Sprache:	Englisch
Einband:	Kartoniert / Broschiert
Autor:	McLarty, Colin
Hersteller:	OUP Oxford
Verantwortliche Person für die EU:	Libri GmbH, Europaallee 1, D-36244 Bad Hersfeld, gpsr@libri.de
Maße:	234 x 156 x 15 mm
Von/Mit:	Colin McLarty
Erscheinungsdatum:	27.04.1995
Gewicht:	0,43 kg