Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Cambridge [England] ; New York :
Cambridge University Press,
[1994]
|
| Colección: | Encyclopedia of mathematics and its applications ;
volume 53. |
| Temas: | |
| Acceso en línea: | Texto completo |
MARC
| LEADER | 00000cam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | EBSCO_ocn861692376 | ||
| 003 | OCoLC | ||
| 005 | 20231017213018.0 | ||
| 006 | m o d | ||
| 007 | cr cnu---unuuu | ||
| 008 | 131029s1994 enka ob 001 0 eng d | ||
| 040 | |a N$T |b eng |e rda |e pn |c N$T |d OCLCF |d YDXCP |d OCLCQ |d AGLDB |d OCLCQ |d VTS |d STF |d M8D |d RDF |d OCLCO |d OCLCQ |d OCLCO |d OCLCQ | ||
| 020 | |a 9781107088504 |q (electronic bk.) | ||
| 020 | |a 110708850X |q (electronic bk.) | ||
| 020 | |z 0521441803 | ||
| 020 | |z 9780521441803 | ||
| 029 | 1 | |a DEBBG |b BV043034629 | |
| 029 | 1 | |a DEBSZ |b 421262605 | |
| 029 | 1 | |a GBVCP |b 80001619X | |
| 035 | |a (OCoLC)861692376 | ||
| 050 | 4 | |a QA169 |b .B673 1994eb | |
| 072 | 7 | |a MAT |x 039000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 023000 |2 bisacsh | |
| 072 | 7 | |a MAT |x 026000 |2 bisacsh | |
| 082 | 0 | 4 | |a 510.8 |b E56 v.52 |2 22 |
| 049 | |a UAMI | ||
| 100 | 1 | |a Borceux, Francis, |d 1948- | |
| 245 | 1 | 0 | |a Handbook of categorical algebra 3 : |b categories of sheaves / |c Francis Borceux. |
| 246 | 3 | |a Categories of sheaves | |
| 264 | 1 | |a Cambridge [England] ; |a New York : |b Cambridge University Press, |c [1994] | |
| 264 | 4 | |c ©1994 | |
| 300 | |a 1 online resource (xvii, 522 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 490 | 1 | |a Encyclopedia of mathematics and its applications ; |v volume 53 | |
| 504 | |a Includes bibliographical references (pages 514-516) and index. | ||
| 588 | 0 | |a Print version record. | |
| 505 | 0 | |a Cover; Half-title; Title; Copyright; Dedication; Contents; Preface to volume; Introduction to this handbook; 1 Locales; 1.1 The intuitionistic propositional calculus; 1.2 Heyting algebras; 1.3 Locales; 1.4 Limits and colimits of locales; 1.5 Nuclei; 1.6 Open morphisms of locales; 1.7 Etale morphisms of locales; 1.8 The points of a locale; 1.9 Sober spaces; 1.10 Compactness conditions; 1.11 Regularity conditions; 1.12 Exercises; 2 Sheaves; 2.1 Sheaves on a locale; 2.2 Closed subobjects; 2.3 Some categorical properties of sheaves; 2.4 Etale spaces; 2.5 The stalks of a topological sheaf | |
| 505 | 8 | |a 4.2 The classifying topos of a finite limit theory4.3 The classifying topos of a geometric sketch; 4.4 The classifying topos of a coherent theory; 4.5 Diaconescu's theorem; 4.6 Exercises; 5 Elementary toposes; 5.1 The notion of a topos; 5.2 Examples of toposes; 5.3 Monomorphisms in a topos; 5.4 Some set theoretical notions in a topos; 5.5 Partial morphisms; 5.6 Injective objects; 5.7 Finite colimits; 5.8 The slice toposes; 5.9 Exactness properties of toposes; 5.10 Union of subobjects; 5.11 Morphisms of toposes; 5.12 Exercises; 6 Internal logic of a topos; 6.1 The language of a topos | |
| 505 | 8 | |a 8 The axiom of infinity8.1 The natural number object; 8.2 Infinite objects in a topos; 8.3 Arithmetic in a topos; 8.4 The trichotomy; 8.5 Finite objects in a topos; 8.6 Exercises; 9 Sheaves in a topos; 9.1 Topologies in a topos; 9.2 Sheaves for a topology; 9.3 The localizations of a topos; 9.4 The double negation sheaves; 9.5 Exercises; Bibliography; Index | |
| 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. | ||
| 590 | |a eBooks on EBSCOhost |b EBSCO eBook Subscription Academic Collection - Worldwide | ||
| 650 | 0 | |a Categories (Mathematics) | |
| 650 | 0 | |a Algebra, Homological. | |
| 650 | 0 | |a Abelian categories. | |
| 650 | 6 | |a Catégories (Mathématiques) | |
| 650 | 6 | |a Algèbre homologique. | |
| 650 | 6 | |a Catégories abéliennes. | |
| 650 | 7 | |a MATHEMATICS |x Essays. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Pre-Calculus. |2 bisacsh | |
| 650 | 7 | |a MATHEMATICS |x Reference. |2 bisacsh | |
| 650 | 7 | |a Abelian categories. |2 fast |0 (OCoLC)fst00794344 | |
| 650 | 7 | |a Algebra, Homological. |2 fast |0 (OCoLC)fst00804927 | |
| 650 | 7 | |a Categories (Mathematics) |2 fast |0 (OCoLC)fst00849000 | |
| 650 | 7 | |a Catégories (Mathématiques) |2 ram | |
| 650 | 7 | |a Faisceaux, théorie des. |2 ram | |
| 650 | 7 | |a Topos (Mathématiques) |2 ram | |
| 776 | 0 | 8 | |i Print version: |a Borceux, Francis, 1948- |t Handbook of categorical algebra 3 |z 0521441803 |w (OCoLC)31978406 |
| 830 | 0 | |a Encyclopedia of mathematics and its applications ; |v volume 53. | |
| 856 | 4 | 0 | |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=569273 |z Texto completo |
| 938 | |a EBSCOhost |b EBSC |n 569273 | ||
| 938 | |a YBP Library Services |b YANK |n 11817876 | ||
| 994 | |a 92 |b IZTAP | ||