ENGLISH

Elementary categories, elementary toposes

By Colin , MacLarty

Book information

Publisher
Oxford University Press,Clarendon Press
Year
1992
ISBN
9780198514732, 0-19-851473-5
Language
english
Format
DJVU
Filesize
2 MB (2370636 bytes)
Series
Oxford logic guides 21
Edition
Reprint
Pages
265\275
Topic
Mathematics Algebra
Library
kolxo3
Time added
2019-04-25 18:00:00
Kategorie (Mathematik);Topos (Mathematik);Categori

Description

Content: 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 internallanguage 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.

Similar books