Could not include topos theory - contents
Given a site , the sheafification functor universally turns presheaves on into sheaves.
It is characterized as being the left adjoint functor to the inclusion of sheaves into all presheaves, exhibiting this as a reflective subcategory.
Therefore sheafification is a special case of a very general phenonemon of localizations of categories. See category of sheaves for more.
Let be a site in the sense of: small category equipped with a coverage. Write for the category of presheaves on and
for the Yoneda embedding. Write
for the category of sheaves: the full subcategory on those presheaves that are -sheaves.
The inclusion of sheaves into presheaves admits a left adjoint functor, which hence exhibits as a reflective subcategory or reflective localization of :
This follows by general properties discussed at reflective subcategory. We spell out the argument using the theory of localization at a set of morphisms satisfying a calculus of fractions.
Recall from the discussion at sheaf that is by definition the full subcategory of on the local objects with respect to the morphisms
of sieve inclusions for all covering families of the coverage . (Here the colimit is the coequalizer of the two injection maps, as indicated. This is spelled out in more detail at sheaf and at sieve.)
Now we invoke the following results:
The localization proposition says that every full subcategory of a locally presentable category on the -local objects for a small set of morphisms is a reflective subcategory, given by the localization at these morphisms;
By Gabriel-Zisman's theorem every reflective subcategory is the localization at the collection of morphisms inverted by the left adjoint (which by the localization proposition is the saturation of the original set of morphisms).
If satisfies the axioms of a calculus of fractions then, by the discussion there, this localization is equivalently given by the category whose objects are those of and whose morphisms are given by .
Notice that an object is a local object with respect to the above set of morphisms precisely if it is local with respect to the set of all small colimits (in the arrow category ) of such morphims (since the hom-functor sends colimits in the first argument to limits, and a limit of isomorphisms is an isomorphism).
Let hence be the completion of under forming small colimits in .
We claim that the morphisms in form a calculus of fractions. The first condition to check is that for all morphisms of presheaves and every covering family there is a morphism in and a commuting diagram
in . (It is sufficient to demand this for to deduce the stability conditions for all morphisms in , since by universal colimits in the presheaf topos the pullback of a colimit is a colimit of pullbacks.)
Similarly, to see that we can find we use the co-Yoneda lemma to decompose as a colimit of representables and then use universal colimits to deduce that we are looking at a diagram of the form
Since is closed under colimits, it is hence sufficient that we show the stability condition for any representable. So we need to fill diagrams of the form
For this now use the single condition on a coverage: that for a covering family in the site we can find a covering family such that every factors through one of the . But this means that also the sieves factor, and we have a commuting diagram
This shows that satisfies the first condition at factorization system.
The second condition at calculus of fractions demands that if two composites of the form
are equal in , then there is a morphism in such that the two composites
are equal. But the sieve inclusions are monomorphisms, hence this condition is trivially satisyfied (choose to be the identity on ). Again by decomposing into colimits by the co-Yoneda lemma and using universal colimits and the pasting law for pullbacks, the same follows for general morphisms in
by applying the above on each component of the colimit.
This gives us the localization as described at calculus of fractions. By the discussion there we have that is equivalently given by the category with the same objects as and hom-sets given by
So we have that for a presheaf and the hom-set is given by
But if is a sheaf, it is a -local object and hence is an isomorphism for all . Hence the above colimit is over a diagram constant on its value at therefore we have a natural isomorphism
This demonstrates the adjunction .
For a presheaf on the site , its sheafification is the presheaf given on any by
where the colimit on the right is over all .
By the Yoneda lemma we have
By the above proposition this is
By the proof of the above proposition, using the formulas discussed at calculus of fractions, this hom-set is given by
By the definition of , the morphisms in are colimits of diagrams of covering sieves
This means (…) that the above coimit may be computed as two consecutive colimits of the form
One such application is called the plus construction.
A morphism out of a sieve into any presheaf is in components precisely a matching family of the presheaf on the covering .
Use that the sieve is the coequalizer
and that the hom-functor sends colimits to limits. More details on this computation are at sheaf.
For sheaves with values in categories other than
For presheaves with values in categories other than Set, sheafification may be a difficult problem, unless one has some extra assumptions.
With values in models for finit-limit theories
Consider a type of structure defined in terms of an essentially algebraic theory finite limits (such as groups, algebras, modules, etc.), then internal -models are preserved by both direct images and inverse images of geometric morphisms. Therefore, the adjunction directly induces an adjunction between -models in sheaves and presheaves. And since finite limits of sheaves and presheaves are computed pointwise, -models in the category of (pre)sheaves are the same as (pre)sheaves of -models-in-.
Using the IPC-property
If a category satisfies the following assumptions, sheafification of presheaves in exists and is constructed analogously as for Set-valued sheaves.
This is true for instance for
the category Set of sets;
the category Grp of groups;
the category of -algebras;
the category of modules,
(but all of these are also -models for finite-limit theories ).
One should say more: there are so many applications and fairly difficult theorems there; for example van
Mike: Another way to think about this is: if you have a type of structure defined in terms of finite limits (such as groups, algebras, modules, etc.), then internal -models are preserved by both direct and inverse images of geometric morphisms. Therefore, the adjunction between sheaves and presheaves of sets directly induces an adjunction between -models in sheaves and presheaves. And since finite limits of sheaves and presheaves are computed pointwise, -models in the category of (pre)sheaves are the same as (pre)sheaves of -models-in-.
If is not defined in terms of finite limits, then internal -models in sheaves need not be the same as sheaves of -models-in-. My intuition would be that the former, rather than the latter, is the more interesting and important notion. For instance, a local ring in a topos of sheaves is a sheaf of rings whose stalks are local, rather than a sheaf taking values in the category of local rings, and this is usually what people care about. But since people have studied the other version, there must be important examples of it as well?
Urs: okay, I have added this to the above now – so is the IPC-property business really unnecessary for the examples above?
Mike: I’m pretty sure it is not. Does anyone have any examples where the IPC-property business is important?
The description of sheafification in terms of local isomorphisms is in section 16.3 (for Set-valued presheaves) and section 17.4 (for more general presheaves) of
The description in terms of dense monomorphisms using Lawvere-Tierney topology is in section V.3 of
Extension of sheafification of presheaves with values in other categories has been advanced in
Alex Heller, K. A. Rowe, On the category of sheaves , Amer. J. Math. 84, 1962, 205-216.
Barr, Grillet and Van Osdol, Exact categories and categories of sheaves , Lecture Notes in Math., Vol. 236, Springer, Berlin, 1971
Alexander Rosenberg, Almost quotient categories, sheaves and localizations , 181 p. Seminar on supermanifolds 25, University of Stockholm, D. Leites editor, 1988 (in Russian; partial remake in English exists)