000			01768nam a22002057a 4500
003			OSt
005			20240925172510.0
008			190424b ||||| |||| 00| 0 eng d
020			_a9780521061247
040			_cTata Book House _aICTS-TIFR
050			_aQA169
100			_aBorceux Francis
245			_aHandbook of categorical algebra - 3 _b: categories of sheaves
260			_aNew York: _bCambridge University Press, _c[c1994]
300			_a522 p
490			_aEncyclopedia of Mathematics and its Applications _v52
505			_aIntroduction to this handbook 1 - Locales 2 - Sheaves 3 - Grothendieck toposes 4 - The classifying topos 5 - Elementary toposes 6 - Internal logic of a topos 7 - The law of excluded middle 8 - The axiom of infinity 9 - Sheaves in a topos
520			_aThe 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. --- summary provided by publisher
942			_2lcc _cBK
999			_c2650 _d2650