Handbook of categorical algebra, 3: Categories of sheaves

The Handbook of Categorical Algebra is intended to give, in three volumes, a rather detailed account of what, ideally, everybody working in category theory should know, whatever the specific topic of research they have chosen. The book is planned also to serve as a reference book for both specialist...

Full description

Bibliographic Details
Main Author: Borceux, Francis
Format: eBook
Language:English
Published: Cambridge Cambridge University Press 1994
Series:Encyclopedia of mathematics and its applications
Subjects:
Online Access:
Collection: Cambridge Books Online - Collection details see MPG.ReNa
LEADER 01686nmm a2200241 u 4500
001 EB001383030
003 EBX01000000000000000905995
005 00000000000000.0
007 cr|||||||||||||||||||||
008 170324 ||| eng
020 |a 9780511525872 
050 4 |a QA169 
100 1 |a Borceux, Francis 
245 0 0 |a Handbook of categorical algebra, 3: Categories of sheaves  |c Francis Borceux 
260 |a Cambridge  |b Cambridge University Press  |c 1994 
300 |a xvii, 522 pages  |b digital 
653 |a Categories (Mathematics) 
041 0 7 |a eng  |2 ISO 639-2 
989 |b CBO  |a Cambridge Books Online 
490 0 |a Encyclopedia of mathematics and its applications 
856 4 0 |u https://doi.org/10.1017/CBO9780511525872  |x Verlag  |3 Volltext 
082 0 |a 512.55 
520 |a The Handbook of Categorical Algebra is intended to give, in three volumes, a rather detailed account of what, ideally, everybody working in category theory should know, whatever the specific topic of research they have chosen. The book is planned also to serve as a reference book for both specialists in the field and all those using category theory as a tool. Volume 3 begins with the essential aspects of the theory of locales, proceeding to a study in chapter 2 of the sheaves on a locale and on a topological space, in their various equivalent presentations: functors, etale maps or W-sets. Next, this situation is generalized to the case of sheaves on a site and the corresponding notion of Grothendieck topos is introduced. Chapter 4 relates the theory of Grothendieck toposes with that of accessible categories and sketches, by proving the existence of a classifying topos for all coherent theories