nLab
category of sheaves

Idea

This entry is about the properties and the characterization of the category $\mathrm{Sh}(S)$ of (set-valued) sheaves on a (small) site $S$, which is a Grothendieck topos. Among other things it gives a definition and a characterization of the notion of sheaf itself, but for more details sheaves themselves see there.

Definition

Let $(C,J)$ be a site: a (small) category equipped with a coverage.

Definition

The category of sheaves on $(C,J)$ is the full subcategory of the category of presheaves

$$i:{\mathrm{Sh}}_J(C)\hookrightarrow \mathrm{PSh}(C)$$i : Sh_J(C) \hookrightarrow PSh(C)

on those presheaves which are sheaves with respect to $J$.

Proposition

Every category of sheaves is a reflective subcategory

$$(L⊣i):{\mathrm{Sh}}_J(C)\stackrel{\stackrel{L}{\leftarrow }}{\hookrightarrow }\mathrm{Psh}(C),$$(L \dashv i) : Sh_J(C) \stackrel{\overset{L}{\leftarrow}}{\hookrightarrow} Psh(C) \,,

hence a subtopos of the presheaf topos. Moreover, every such subtopos arises in this way: there is a bijection between Grothendieck topologies on $C$ and equivalence classes of geometric embeddings into $\mathrm{PSh}(C)$.

This appears for instance as (Johnstone, corollary 2.1.11). See also Lawvere-Tierney topology.

Proof

Details on the first statement are at sheafification. A full proof for the second statement is at (∞,1)-category of (∞,1)-sheaves (there proven in (∞,1)-category theory, but the proof is verbatim the same in category theory).

Equivalent characterizations

As localizations

Proposition

The category of sheaves is equivalent to the homotopy category of the category with weak equivalences $\mathrm{PSh}(C)$ with the weak equivalences given by $W=$local isomorphisms

$$\mathrm{Sh}(S)\simeq {\mathrm{Ho}}_{\mathrm{PSh}(S)}=\mathrm{PSh}(C)[\mathrm{local}\mathrm{isomorphisms}{]}^{-1}.$$Sh(S) \simeq Ho_{PSh(S)} = PSh(C)[local isomorphisms]^{-1} \,.

The converse is also true: for every left exact functor] $L:\mathrm{PSh}(S)\to \mathrm{PSh}(S)$ (preserving finite limits) which is left adjoint to the inclusion of its image, there is a Grothendieck topology on $S$ such that the image of $L$ is the category of sheaves on $S$ with respect to that topology.

We spell out proofs of some of the above claims.

Let $C$ be a small category and

$$i:ℰ\hookrightarrow [C^{\mathrm{op}},\mathrm{Set}]$$i : \mathcal{E} \hookrightarrow [C^{op}, Set]

a reflective subcategory, hence a full subcategory with a left adjoint $L:[C^{\mathrm{op}},\mathrm{Set}]\to ℰ$, such that moreover $L$ preserves finite limits.

Write $W:=L^{-1}(\mathrm{isos})\subset \mathrm{Mor}([C^{\mathrm{op}},\mathrm{Set}])$ for the class of morphisms in $[C^{\mathrm{op}},\mathrm{Set}]$ that are sent to isomorphisms by $L$.

Proposition

A presheaf $A\in [C^{\mathrm{op}},\mathrm{Set}]$ is in $ℰ$ (meaning: in the essential image of $i$) precisely if for all $f:X\to Y$ in $W$ the induced function

$$\mathrm{Hom}(f,A):\mathrm{Hom}(Y,A)\to \mathrm{Hom}(X,A)$$Hom(f,A) : Hom(Y,A) \to Hom(X,A)

is a bijection.

Proof

If $A\simeq i\hat{A}$, then by the $(L⊣i)$-adjunction isomorphism we have

$$\mathrm{Hom}(f,i\hat{A})\simeq ℰ(L(f),A).$$Hom(f, i \hat A) \simeq \mathcal{E}(L(f), A) \,.

But by assumption $L(f)$ is an isomorphism, so the claim is immediate.

Conversely, if for all $f$ the function $\mathrm{Hom}(f,A)$ is a bijection, define $\hat{A}:=L(A)$ and let ${ϵ}_A:A\to iL(A)$ be the $(L⊣i)$-unit.

By the assumption that $i$ is a full and faithful functor and basic properties of adjoint functors we habe that the counit

$$Li\to \mathrm{Id}$$L i \to Id

is a natural isomorphism. By the zig-zag law the composite

$$LA\stackrel{L{ϵ}_A}{\to }LiLA\stackrel{\simeq }{\to }LA$$L A \stackrel{L \epsilon_A}{\to} L i L A \stackrel{\simeq}{\to} L A

is the identity and therefore $Lϵ$ is an isomorphism and so ${ϵ}_A$ is in $W$, under our assumption on $A$.

Using this it follows that

$$\mathrm{Hom}({ϵ}_A,A):\mathrm{Hom}(iLA,A)\stackrel{\simeq }{\to }\mathrm{Hom}(A,A)$$Hom(\epsilon_A, A) : Hom(i L A, A) \stackrel{\simeq}{\to} Hom(A,A)

is an isomorphism. Write $k_A:iLA\to A$ for the preimage of ${\mathrm{id}}_A$ under this isomorphism, which is therefore a left inverse of ${ϵ}_A$. This immediately implies that also $k_A$ is in $W$, and so we can enter the same argument with $k_A$ to find that it has a left inverse itself. But this means that $k_A$ is in fact an isomorphism and hence so is $ϵA$, which thus exhibits $A$ as being in the essential image of $i$.

Proposition

A morphism $f:X\to Y$ is in $W$ precisely if for every morphism $z:j(c)\to Y$ with representable domain, the pullback $z^{*}f$ in

$$\begin{array}{ccc}X{\times }_{Y}j(c)& \to & X\\ {}^{z^{*}f}\downarrow & & {\downarrow }^f\\ j(c)& \stackrel{z}{\to }& Y\end{array}$$\array{ X \times_Y j(c) &\to& X \\ {}^{\mathllap{z^* f}}\downarrow && \downarrow^{\mathrlap{f}} \\ j(c) &\stackrel{z}{\to}& Y }

is in $W$.

Proof

Assume first that $f$ is in $W$. Since by assumption $L$ preserves finite limits, it follows that

$$\begin{array}{ccc}L(X{\times }_{Y}j(c))& \to & LX\\ {}^{L(z^{*}f)}\downarrow & & {\downarrow }^{Lf}\\ L(j(c))& \stackrel{Lz}{\to }& LY\end{array}$$\array{ L(X \times_Y j(c)) &\to& L X \\ {}^{\mathllap{L(z^* f)}}\downarrow && \downarrow^{\mathrlap{L f}} \\ L(j(c)) &\stackrel{L z}{\to}& L Y }

is still a pullback diagram in $ℰ$ and hence that $L(z^{*}f)$ is the pullback of the isomorphism $Lf$ and thus itself an isomorphism. Therefore $z^{*}f$ is in $W$.

Conversely, suppose that all these pullbacks are in $W$. Then use the “co-Yoneda lemma” to write the presheaf $Y$ as a colimit over all representables mapping into it

$${\underrightarrow{\lim }}_{j(c_i)\stackrel{z_i}{\to }Y}j(c)\stackrel{\simeq }{\to }Y.$${\lim_\to}_{j(c_i) \stackrel{z_i}{\to} Y} j(c) \stackrel{\simeq}{\to} Y \,.

Forming the pullback along $f$, using that in a topos (such as our presheaf topos) colimits are preserved by pullbacks, we get

$$\begin{array}{ccc}{\underrightarrow{\lim }}_i{f}^{*}j(c_i)& \stackrel{\simeq }{\to }& X\\ {}^{{\underrightarrow{\lim }}_i{z}_i^{*}f}\downarrow & & {\downarrow }^f\\ {\underrightarrow{\lim }}_{i}j(c_i)& \stackrel{\simeq }{\to }& Y\end{array}.$$\array{ {\lim_\to}_i f^* j(c_i) &\stackrel{\simeq}{\to}& X \\ {}^{\mathllap{{\lim_\to}_i z_i^* f}}\downarrow && \downarrow^{\mathrlap{f}} \\ {\lim_\to}_i j(c_i) &\stackrel{\simeq}{\to}& Y } \,.

Since $L$ preserves all colimits and finite limits, we also get

$$\begin{array}{ccc}{\underrightarrow{\lim }}_{i}L(f^{*}j(c_i))& \stackrel{\simeq }{\to }& L(X)\\ {}^{{\underrightarrow{\lim }}_{i}L(z_i^{*}f)}\downarrow & & {\downarrow }^{L(f)}\\ {\underrightarrow{\lim }}_{i}L(j(c_i))& \stackrel{\simeq }{\to }& L(Y)\end{array}.$$\array{ {\lim_\to}_i L(f^* j(c_i)) &\stackrel{\simeq}{\to}& L(X) \\ {}^{\mathllap{{\lim_\to}_i L(z_i^* f)}}\downarrow && \downarrow^{\mathrlap{L(f)}} \\ {\lim_\to}_i L(j(c_i)) &\stackrel{\simeq}{\to}& L(Y) } \,.

Since by assumption now all $L(z_i^{*}f)$ are isomorphisms, also ${{\lim }_{\to }}_{i}L(z_i^{*}f)$ is an isomorphism and hence three sides of the above square are isomorphisms. Therefore also $L(f)$ is and hence $f$ is in $W$.

Proposition

The collection of sieves in $W$, hence the collection of monomorphisms in $W$ whose codomain is a representable, constitute a Grothendieck topology on $C$.

Proof

We check the list of axioms, given at Grothendieck topology:

1. Pullbacks of covering sieves are covering :

   First of all, the pullback of a sieve along a morphism of representables is still a sieve, because monomorphisms are (as discussed there) stable under pullback.

   Next, since $L$ preserves finite limits, $L$ applied to the pullback sieve is the pullback of an isomorphism, hence is an isomorphism, hence the pullback sieve is in $W$.

2. The maximal sieve is covering. Clear: $L$ applied to an isomorphism is an isomorphism.

3. Two sieves cover precisely if their intersection covers. This is again due to the pullback-stability of elements of $W$, due to the preservation of finite limits by $L$.

4. If all pullbacks of a sieve along morphisms of a covering sieve are covering, then the original sieve was covering .

   This is the same argument as in the second part of the proof of prop. 4.

Proposition

$ℰ$ is a Grothendieck topos.

Proof

By prop. 5 and prop. 3 we are reduced to showing that an object $A$ is in $ℰ$ already if for all monomorphisms $f$ in $W$ the function $\mathrm{Hom}(f,A)$ is a bijection.

(…)

As toposes

Categories of sheaves are examples of categories that are toposes: they are the Grothendieck toposes characterized among all toposes as those satisfying Giraud's axioms.

Proposition

Sheaf toposes are equivalently the subtoposes of presheaf toposes.

This appears for instance as (Johnstone, corollary 2.1.11).

As accessible reflective subcategories

Proposition

Sheaf toposes are equivalently the accessible reflective subcategories of categories of presheaves.

See at reflective sub-(∞,1)-category.

Properties

Dependence on the site

Definition

For $(L⊣i):ℰ\stackrel{\stackrel{L}{\leftarrow }}{\hookrightarrow }$ a category of sheaves and $(C,J)$ a site such that we have an equivalence of categories $ℰ\simeq {\mathrm{Sh}}_J(C)$ we say that $C$ is a site of definition for the topos $ℰ$.

Remark

There are always different sites $(C,J)$ whose categories of sheaves are equivalent. First of all for fixed $C$ and given a coverage $J$, the category of sheaves depends only on the Grothendieck topology generated by $J$. But there may be site structures also on inequivalent categories $C$ that have equivalent categories of sheaves.

Definition

For $(C,J)$ a site with coverage $J$ and $D\to C$ any subcategory, the induced coverage $J_D$ on $D$ has as covering sieves the intersections of the covering sieves of $C$ with the morphisms in $D$.

Definition

Let $(C,J)$ be a site (possibly large). A subcategory $D\to C$ (not necessarily full) is called a dense sub-site with the induced coverage $J_D$ if

1. every object $U\in C$ has a covering $\{U_i\to U\}$ in $J$ with all $U_i$ in $D$;

2. for every morphism $f:U\to d$ in $C$ with $d\in D$ there is a covering family $\{f_i:U_i\to U\}$ such that the composites $f\circ f_i$ are in $D$.

Remark

If $D$ is a full subcategory then the second condition is automatic.

Theorem

(comparison lemma)

Let $(C,J)$ be a (possibly large) site with $C$ a locally small category and let $f:D\to C$ be a small dense sub-site. Then pair of adjoint functors

$$(f^{*}⊣f_{*}):\mathrm{PSh}(D)\stackrel{\stackrel{f^{*}}{\leftarrow }}{\underset{f_{*}}{\to }}\mathrm{PSh}(C)$$(f^* \dashv f_*) : PSh(D) \stackrel{\overset{f^*}{\leftarrow}}{\underset{f_*}{\to}} PSh(C)

with $f^{*}$ given by precomposition with $f$ and $f_{*}$ given by right Kan extension induces an equivalence of categories between the categories of sheaves

$$(f_{*}⊣f^{*}):{\mathrm{Sh}}_{J_D}(D)\underset{\underset{f_{*}}{\to }}{\overset{\stackrel{f^{*}}{\leftarrow }}{\simeq }}{\mathrm{Sh}}_{J}C.$$(f_* \dashv f^*) : Sh_{J_D}(D) \underoverset {\underset{f_*}{\to}}{\overset{f^*} {\leftarrow}} {\simeq} Sh_J{C} \,.

This appears as (Johnstone, theorm C2.2.3).

Examples

• Let $X$ be a locale with frame $\mathrm{Op}(X)$ regarded as a site with the canonical coverage ({U_i \to U} covers if the join of the $U_i$ us $U$). Let $\mathrm{bOp}(X)$ be a basis for the topology of $X$: a complete join-semilattice such that every object of $\mathrm{Op}(X)$ is the join of objects of $\mathrm{bOp}(X)$. Then $\mathrm{bOp}(X)$ is a dense sub-site.

  • For $X$ a locally contractible space, $\mathrm{Op}(X)$ its category of open subsets and $\mathrm{cOp}(X)$ the full subcategory of contractible open subsets, we have that $\mathrm{cOp}(X)$ is a dense sub-site.

• For $C=\mathrm{TopManifold}$ the category of all paracompact topological manifolds equipped with the open cover coverage, the category CartSp${}_{\mathrm{top}}$ is a dense sub-site: every paracompact manifold has a good open cover by open balls homeomorphic to a Cartesian space.

• Similaryl for $C=$ Diff the category of smooth manifolds equipped with the good open cover coverage, the full subcategory CartSp${}_{\mathrm{smooth}}$ is a dense sub-site.

Epi- mono- and isomorphisms

Let $\mathrm{Sh}(C)$ be a category of sheaves.

Proposition

A morphism $f:X\to Y$ is a monomorphism if it is a monomorphism of presheaves, that is if for each $U\in C$ the function $f(U):X(U)\to Y(U)$ is injective.

Proposition

A morphism $f:X\to Y$ in $\mathrm{Sh}(C)$ is an epimorphism precisely if it is locally surjective in the sense that:

for all $U\in C$ there is a covering $\{p_i:U_i\to U{\}}_{i\in I}$ such that for all $i\in I$ and every element $y\in Y(U)$ the element $f(p_i)(y)$ is in the image of $f(U_i):X(U_i)\to Y(U_i)$.

Exactness properties

Every sheaf topos satisfies the following exactness properties. it is an

• extensive category;

• adhesive category;

• exhaustive category.

Related concepts

• category of sheaves

• (∞,1)-category of (∞,1)-sheaves.

Locally presentable categories: Large categories whose objects arise from small generators under small relations.

(n,r)-categories…	satisfying Giraud's axioms	inclusion of left exaxt localizations	generated under colimits from small objects		localization of free cocompletion		generated under filtered colimits from small objects
(0,1)-category theory	(0,1)-toposes	$\hookrightarrow$	algebraic lattices	$\simeq$ Porst’s theorem	subobject lattices in accessible reflective subcategories of presheaf categories
category theory	toposes	$\hookrightarrow$	locally presentable categories	$\simeq$ Adámek-Rosický’s theorem	accessible reflective subcategories of presheaf categories	$\hookrightarrow$	accessible categories
model category theory	model toposes	$\hookrightarrow$	combinatorial model categories	$\simeq$ Dugger’s theorem	left Bousfield localization of global model structures on simplicial presheaves
(∞,1)-topos theory	(∞,1)-toposes	$\hookrightarrow$	locally presentable (∞,1)-categories	$\simeq$ Simpson’s theorem	accessible reflective sub-(∞,1)-categories of (∞,1)-presheaf (∞,1)-categories	$\hookrightarrow$	accessible (∞,1)-categories

References

Secton A.4 and C.2 in

• Peter Johnstone, Sketches of an Elephant .

The characterization of sheaf toposes and Grothendieck topologies in terms of left exact reflective subcategories of a presheaf category is also in

• Saunders MacLane, Ieke Moerdijk, Sheaves in Geometry and Logic

where it is implied by the combination of Corollary VII 4.7 and theorem V.4.1.

The characterization of $\mathrm{Sh}(S)$ as the homotopy category of $\mathrm{PSh}(S)$ with respect to local isomorphisms is emphasized at the beginning of the text

• Bertrand Toen, Stacks and non-abelian cohomology (web) .

Details are in

• Kashiwara-Schapira, Categories and Sheaves .

It’s a bit odd that the full final statement does not seem to be stated there explicitly, but all the ingredients are discussed:

• exercise 16.7 shows that sheafification inverts precisely the local isomorphisms, so that in particular every local isomorphism between sheaves is an isomorphism;

• lemma 16.3.2 states that the unit of the adjunction ${\mathrm{Id}}_{\mathrm{PSh}(S)}\to i\circ \overline{(-)}:\mathrm{PSh}(S)\to \mathrm{PSh}(S)$ is componentwise a local isomorphism;

• using this corollary 7.2.2 says that $\mathrm{Sh}(S)\simeq {\mathrm{Ho}}_{\mathrm{PSh}(S)}$ with the homotopy category ${\mathrm{Ho}}_{\mathrm{PSh}(S)}$ formed using local isomorphisms as weak equivalences.