We have explained in Remark how presheaves on a category may be thought of as generalized spaces probe-able by the objects of , and that two consistency conditions on this interpretation are provided by the Yoneda lemma (Prop. ) and the resulting Yoneda embedding (Prop. ). Here we turn to a third consistency condition that one will want to impose, namely a locality or gluing condition (Remark below), to be called the sheaf condition (Def. below).
More in detail, we had seen that any category of presheaves is the free cocompletion of the given small category (Prop. ) and hence exhibits generalized spaces as being glued or generated form the “ordinary spaces” . Further conditions to be imposed now will impose relations among these generators, such as the locality relation embodied by the sheaf-condition.
It turns out that these relations are reflected by special properties of an adjunction (Def. ) that relates generalized spaces to ordinary spaces:
generalized spaces via generators and relations:
free cocompletion presheaves | loc. presentable category | sheaf topos |
---|---|---|
Prop. | Def. | Prop. |
simplicial presheaves | combinatorial model category | model topos |
Example | Def. | Def. |
(sheaf condition as local-to-global principle for generalized spaces)
If the objects of are thought of as spaces of sorts, as in Remark , then there is typically a notion of locality in these spaces, reflected by a notion of what it means to cover a given space by (“smaller”) spaces (a coverage, Def. below).
But if a space is covered, say by two other spaces , via morphisms
then this must be reflected in the behaviour of the probes of any generalized space (in the sense of Remark ) by these test spaces:
For ease of discussion, suppose that there is a sense in which these two patches above intersect in to form a space . Then locality of probes should imply that the ways of mapping and into such that these maps agree on the intersection , should be equivalent to the ways of mapping all of into .
One could call this the condition of locality of probes of generalized spaces probeable by objects of . But the established terminology is that this is the sheaf condition (6) on presheaves over . Those presheaves which satisfy this condition are called the sheaves (Def. below).
Warning
Most (if not all) introductions to sheaf theory insist on motivating the concept from the special case of sheaves on topological spaces (Example below). This is good motivation for what Grothendieck called “petit topos”-theory. The motivation above, instead, naturally leads to the “gros topos”-perspective, as in Example below, which is more useful for discussing the synthetic higher supergeometry of physics. In fact, this is the perspective of functorial geometry that has been highlighted since Grothendieck 65, but which has maybe remained underappreciated.
We now first introduce the sheaf-condition (Def. ) below in its traditional form via “matching families” (Def. below). Then we show (Prop. below) how this is equivalently expressed in terms of Cech groupoids (Example below). This second formulation is convenient for understanding and handling various constructions in ordinary topos theory (for instance the definition of cohesive sites) and it makes immediate the generalization to higher topos theory.
Here we introduce the sheaf-condition (Def. below) in its component-description via matching families (Def. below). Then we consider some of the general key properties of the resulting categories of sheaves, such as notably their “convenience”, in the technical sense of Prop. below.
Let be a small category (Def. ). Then a coverage on is
for each object a set of indexed sets of morphisms into
called the coverings of ,
such that
for every covering of and every morphism there exists a refining covering of , meaning that for each there exists and a morphism such that
A small category equipped with a coverage is called a site.
(canonical coverage on topological spaces)
The category Top of (small) topological spaces (Example ) carries a coverage (Def. ) whose coverings are the usal open covers of topological spaces.
The condition (1) on a coverage is met, since the preimages of open subsets under a continuous function are again open subsets, so that the preimages of an open cover consistitute an open cover of the domain, such that the commuting diagram-condition (1) is immediage.
Similarly, for a fixed topological space, there is the site whose underlying category is the category of opens of , which is the thin category (Example ) of open subsets of and subset inclusions, and whose coverings are again the open covers.
(differentiably good open covers of smooth manifolds)
The category SmthMfd of smooth manifold (Example ) carries a coverage (Def. ), where for any smooth manifold of dimension , its coverings are collections of smooth functions from the Cartesian space to whose image is the inclusion of an open ball.
Hence these are the usual open covers of , but with the extra condition that every patch is diffeomorphic to a Cartesian space (hence to a smooth open ball).
One may further constrain this and ask that also all the non-empty finite intersections of these open balls are diffeomorphic to open balls. These are the differentiably good open covers.
To see that these coverings satisfy the condition (1): The plain pullback of an open cover along any continuous function is again an open cover, just not necessarily by patches diffeomorphic to open balls. But every open cover may be refined by one that is (see at good open cover), and this is sufficient for (1).
Example is further developed in the chapters smooth sets and on smooth homotopy types.
(matching family – descent object)
Let be a small category equipped with a coverage, hence a site (Def. ) and consider a presheaf (Example ) over .
Given an object and a covering of it (Def. ) we say that a matching family (of probes of ) is a tuple such that for all and pairs of morphisms satisfying
we have
We write
for the set of matching families for the given presheaf and covering.
This is also called the descent object of for descent along the covering .
(matching families that glue)
Let be a small category equipped with a coverage, hence a site (Def. ) and consider a presheaf (Example ) over .
Given an object and a covering of it (Def. ), then every element
induces a matching family (Def. ) by
(That this indeed satisfies the matching condition follows immediately by the functoriality of .)
This construction provides a function of the form
The matching families in the image of this function are hence those tuples of probes of by the patches of which glue to a global probe out of .
(sheaves and sheaf toposes)
Let be a small category equipped with a coverage, hence a site (Def. ) and consider a presheaf (Example ) over .
The presheaf is called a sheaf if for every object and every covering of all matching families glue uniquely, hence if the comparison morphism (5) is a bijection
The full subcategory (Example ) of the category of presheaves over a given site , on those that are sheaves is the category of sheaves, denoted
A category which is equivalent (Def. ) to a category of sheaves is called a sheaf topos, or often just topos, for short.
For and two such sheaf toposes, a homomorphism between them, called a geometric morphism is an adjoint pair of functors (Def. )
such that
Hence there is a category Topos, whose objects are sheaf toposes and whose morphisms are geometric morphisms.
(global sections geometric morphism)
Let be a sheaf topos (Def. ). Then there is a geometric morphism (8) to the category of sets (Example ), unique up to natural isomorphism (Def. ):
Here is called the global sections-functor.
Notice that every set is the coproduct, indexed by itself, of the terminal object (the singleton):
Since is a left adjoint, it preserves this coproduct (Prop. ). Moreover, since is assumed to preserve finite products, and since the terminal object is the empty product (Example ), it also preserves the terminal object. Therefore is fixed, up to natural isomorphism, to act as
This shows that exists and uniquely so, up to natural isomorphism. This implies the essential uniqueness of by uniqueness of adjoints (Prop. ).
For a small category (Def. ), the trivial coverage on it is the coverage (Def. ) with no covering families at all, meaning that the sheaf condition (Def. ) over the resulting site is empty, in that every presheaf is a sheaf for this coverage.
Hence the category of presheaves (Example ) over a site with trivial coverage is already the corresponding category of sheaves, hence the corresponding sheaf topos:
(sheaves on the terminal category are plain sets)
Consider the terminal category (Example ) equipped with its trivial coverage (Example ). Then there is a canonical equivalence of categories (Def. ) between the category of sheaves on this site (Def. ) and the category of sets (Example ):
Hence the category of sets is a sheaf topos.
(sheaves on a topological space – spatial petit toposes)
In the literature, the concept of (pre-)sheaf (Def. ) is sometimes not defined relative to a site, but relative to a topological space. But the latter is a special case: For a topological space, consider its category of open subsets from Example , with coverage given by the usual open covers. Then a “sheaf on this topological space” is a sheaf, in the sense of Def. , on this site of opens. One writes
for short. The sheaf toposes arising this way are also called spatial toposes.
The construction of categories of sheaves on a topological space (Example ) extends to a functor from the category Top of topological spaces and continuous functions between them (Example ) to the category Topos of sheaf toposes and geometric morphisms between them (Example ).
Moreover, when restricted to sober topological spaces, this becomes a fully faithful functor, hence a full subcategory-inclusion (Def. )
More generally, this holds for locales (i.e. for “sober topological spaces not necessarily supported on points”), in which case it becomes a reflective subcategory-inclusion (Def. )
This says that categories of sheaves on topological spaces are but a reflection of soper topological spaces (generally: locales) and nothing more, whence they are also called petit toposes.
In the literature, sometimes sheaves are understood by default as taking values not in the category of sets, but in the category of abelian groups. Combined with Example this means that some authors really mean “sheaf of abelian groups of the site of opens of a topological space”, when they write just “sheaf”.
But for any mathematical structure, a sheaf of -structured sets is equivalently an -structure internal to the category of sheaves according to Def. . In particular sheaves of abelian groups are equivalently abelian group objects in the category of sheaves of sets as discussed here.
Consider the site SmthMfd of all smooth manifolds, from Example . The category of sheaves over this (Def. ) is equivalent to the category of smooth sets, discussed in the chapter geometry of physics – smooth sets:
This is a gros topos, in a sense made precise by Def. below (a cohesive topos).
(ordinary spaces and their coverings are generators and relations for generalized spaces)
Given a site (Def. ), then its presheaf topos (Example ) is the free cocompletion of the category (Prop. ), hence the category obtained by freely forming colimits (“gluing”) of objects of .
In contrast, the full subcategory inclusion enforces relations between these free colimits.
Therefore in total we may think of a sheaf topos as obtained by generators and relations from the objects of its site :
the objects of are the generators;
the coverings of are the relations.
(sheafification and plus construction)
Let be a site (Def. ). Then the full subcategory-inclusion (7) of the category of sheaves over (Def. ) into the category of presheaves (Example ) has a left adjoint (Def. ) called sheafification
An explicit formula for sheafification is given by applying the following “plus construction” twice:
Here the plus construction
is given by forming equivalence classes of sets of matching families (Def. ) for all possible covers (Def. )
under the equivalence relation which identifies two such pairs if the two covers have a joint refinement such that the restriction of the two matching families to that joint refinement coincide.
Let be a site (Def. ). Then a full subcategory (Def. )
becomes a site itself, whose coverage consists of those coverings in that happen to be in .
Let and be sites (Def. ) with a a full subcategory-inclusion (Def. )
and regard as equipped with the induced coverage (Def. ).
This is called a dense subsite-inclusion if every object has a covering such that for all the patches are in the subcategory:
Let be a dense subsite inclusion (def. ). Then precomposition with induces an equivalence of categories (Def. ) between their categories of sheaves (Def. ):
(recognition of epi-/mono-/isomorphisms of sheaves)
Let be a site (Def. ) with its category of sheaves (Def. ).
Then a morphisms in is
a monomorphism (Def. ) or isomorphism (Def. ) precisely if it is so globally in that for each object in the site, then the component is an injection or bijection of sets, respectively.
an epimorphism (Def. ) precisely if it is so locally, in that: for all there is a covering such that for all and every element the element is in the image of .
(epi/mono-factorization through image)
Let be a category of sheaves (Def. ). Then every morphism factors as an epimorphism followed by a monomorphism (Def. ) uniquely up to unique isomorphism:
Theobject , as a subobject of , is called the image of .
In fact this is an orthogonal factorization system, in that for every commuting square where the left morphism is an epimorphism, and the right one a monomorphism, there exists a unique lift:
This implies that this is a functorial factorization, in that for every commuting square
there is an induced morphism of images such that the resulting rectangular diagram commutes:
We discuss some of the key properties of sheaf toposes:
(sheaf toposes are cosmoi)
Let be a site (Def. ) and its sheaf topos (Def. ). Then:
All limits exist in (Def. ), and they are computed as limits of presheaves, via Example :
All colimits exist in (Def. ) and they are given by the sheafification (Def. ) of the same colimits computed in the category of presheaves, via Example :
The cartesian (Example ) closed monoidal category-structure (Def. ) on the category of presheaves from Example restricts to sheaves:
In particular, for two sheaves, their internal hom is a sheaf given by
where is the presheaf represented by (Example ).
This may be summarized by saying that every sheaf topos (in particular every category of presheaves, by Example ) is a cosmos for enriched category theory (Def. ).
Let be a site (Def. ). Then a morphism of presheaves over (Example )
is called a local epimorphism if for every object , every morphism out of its represented presheaf (Example ) has the local lifting property through in that there is a covering (Def. ) and a commuting diagram of the form
In order to understand the sheaf condition (6) better, it is useful to consider Cech groupoids (Def. below). These are really presheaves of groupoids (Def. below), a special case of the general concept of enriched presheaves. The key property of the Cech groupoid is that it co-represents the sheaf condition (Prop. below). It is in this incarnation that the concept of sheaf seamlessly generalizes to homotopy theory via “higher stacks”.
For a small category (Def. ) consider the functor category (Example ) from the opposite category of (Example ) to the category Grpd of small groupoids (Example )
By Example we may regard Grpd as a cosmos for enriched category theory. Since the inclusion (Example ) is a strong monoidal functor (Def. ) of cosmoi (Example ), the plain category may be thought of as a Grpd-enriched category (Def. ) and hence a functor is equivalently a Grpd-enriched functor (Def. ).
This means that the plain category of functors enriches to Grpd-enriched category of Grpd-enriched presheaves (Example ).
Hence we may speak of presheaves of groupoids.
(presheaves of groupoids as internal groupoids in presheaves)
From every presheaf of groupoids (Def. ), we obtain two ordinary presheaves of sets (Def. ) called the
presheaf of objects
the presheaf of morphisms
In more abstract language this assignment constitutes an equivalence of categories
from presheaves of groupoids to internal groupoids- in the category of presheaves over (Def. ).
(presheaves of sets form reflective subcategory of presheaves of groupoids)
Let be a small category (Def. ). There is the reflective subcategory-inclusion (Def. ) of the category of presheaves over (Example ) into the category of presheaves of groupoids over (Def. )
which is given over each object of by the reflective inclusion of sets into groupoids (Example ).
Let be a site (Def. ), and an object of that site. For each covering family of in the given coverage, the Cech groupoid is the presheaf of groupoids (Def. )
which, regarded as an internal groupoid in the category of presheaves over , via (10), has as presheaf of objects the coproduct
of the presheaves represented (under the Yoneda embedding, Prop. ) by the covering objects , and as presheaf of morphisms the coproduct over all fiber products of these:
This means equivalently that for any the groupoid assigned by has as set of objects pairs consisting of an index and a morphism in , and there is a unique morphism between two such objects
precisely if
Condition (11) for morphisms in the Cech groupoid to be well-defined is verbatim the condition (2) in the definition of matching families. Indeed, Cech groupoids serve to conveniently summarize (and then generalize) the sheaf condition (Def. ):
(Cech groupoid co-represents matching families – codescent)
For Grpd regarded as a cosmos (Example ), and a site (Def. ), let
be a presheaf on (Example ), regarded as a Grpd-enriched presheaf via Example , let be any object and a covering family (Def. ) with induced Cech groupoid (Example ).
Then there is an isomorphism
between the hom-groupoid of Grpd-enriched presheaves (Def. ) and the set of matching families (Def. ).
Since hence the Cech-groupoid co-represents the descent object, it is sometimes called the codescent object along the given covering.
Moreover, under this identification the canonical morphism
induces the comparison morphism (5)
In conclusion, this means that the presheaf is a sheaf (Def. ) precisely if homming Cech groupoid projections into it produces an isomorphism:
One also says in this case that is a local object with respect to Cech covers/
By (?) the hom-groupoid is computed as the end
where, by Example , the “integrand” is the functor category (here: a groupoid) from the Cech groupoid at a given to the set (regarded as a groupoid) assigned by to .
Since is just a set, that functor groupoid, too, is just a set, regarded as a groupoid. Its elements are the functors , which are equivalently those functions on sets of objects
which respect the equivalence relation induced by the morphisms in the Cech groupoid at .
Hence the hom-groupoid is a subset of the end of these function sets:
Here we used: first that the internal hom-functor turns colimits in its first argument into limits (Prop. ), then that limits commute with limits (Prop. ), hence that in particular ends commute with products , and finally the enriched Yoneda lemma (Prop. ), which here is, via Example , just the plain Yoneda lemma (Prop. ). The end result is hence the same Cartesian product set that also the set of matching families is defined to be a subset of, in (4).
This shows that an element in is a tuple , subject to some condition. This condition is that for each the assignment
constitutes a functor of groupoids.
By definition of the Cech groupoid, and since the codomain is a just set regarded as a groupoid, this is the case precisely if
which is exactly the condition (3) that makes a matching family.
We now discuss a more abstract characterization of sheaf toposes, in terms of properties enjoyed by the adjunction that relates them to the corresponding categories of presheaves.
(locally presentable category)
A category (Def. ) is called locally presentable if there exists a small category (Def. ) and a reflective subcategory-inclusion of into its category of presheaves (Example )
such that the inclusion functor is an accessible functor in that it preserves -filtered colimits for some regular cardinal .
A sheaf topos (Def. ) is equivalently a locally presentable category (Def. ) with
(sheaf toposes are equivalently the left exact reflective subcategories of presheaf toposes)
Let be a site (Def. ). Then the full subcategory inclusion of its sheaf topos (Def. ) into its category of presheaves is a reflective subcategory inclusion (Def. )
such that:
the inclusion is an accessible functor, thus exhibiting as a locally presentable category (Def. )
the reflector (which is sheafification, Prop. ) is left exact (“lex”) in that it preserves finite limits.
Conversely, every sheaf topos arises this way. Hence sheaf toposes are equivalently the left exact-reflectively full subcategories of presheaf toposes over some small category :
(e.g. Borceux 94, prop. 3.5.4, cor. 3.5.5, Johnstone, C.2.1.11)
(left exact reflections of categories of presheaves are locally presentable categories)
In the characterization of sheaf toposes as left exact reflections of categories of presheaves in Prop. , the accessibility of the inclusion, equivalently the local presentability (Def. ) is automatically implied (using the adjoint functor theorem), as indicated in (14).
Last revised on September 20, 2018 at 07:47:14. See the history of this page for a list of all contributions to it.