Handbook of Categorical Algebra: Volume 3, Sheaf Theory
Cambridge University Press, 8 déc. 1994 - 522 pages
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.
Avis des internautes - Rédiger un commentaire
Aucun commentaire n'a été trouvé aux emplacements habituels.
adjunction already Applying arbitrary associated axiom boolean characteristic choose classiﬁed closed closure coherent colimit commutative complete composite conclude condition consider constitute construction containing continuous Conversely corresponding covering deﬁned deﬁnition diagram element epimorphism equality equivalent étale example exists fact factorization ﬁnite limits ﬁrst formula free variables functor G F(u given Grothendieck topos hand holds identity implies inclusion inductive inverse isomorphism left adjoint left exact Lemma mapping means models monomorphism morphism of locales natural transformation notation object observe obviously open subsets operation pair particular poset precisely preserves presheaves prime Proof Proposition prove pullback Q-sets reduces regular relation remains restriction ring satisﬁes sheaf sheaves square statement step subobject Theorem theory topological space topology toposes true unique universal variable of type volume write yields