Sketches of an elephant : a topos theory compendium

By: Peter T. JohnstoneMaterial type: TextTextPublication details: New York: Oxford University Press, [c2008]Description: 467 pISBN: 9780198534259LOC classification: QA169
Contents:
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
Summary: 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. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text. --- summary provided by publisher
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current library Collection Shelving location Call number Status Notes Date due Barcode Item holds
Book Book ICTS
Mathematic Rack No 4 QA169 (Browse shelf (Opens below)) Available Invoice no. IN 612 ; Date 02-08-2019 02171
Total holds: 0

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

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. Because of this, an account of topos theory which approaches the subject from one particular direction can only hope to give a partial picture; the aim of this compendium is to present as comprehensive an account as possible of all the main approaches and thereby to demonstrate the overall unity of the subject. The material is organized in such a way that readers interested in following a particular line of approach may do so by starting at an appropriate point in the text. --- summary provided by publisher

There are no comments on this title.

to post a comment.