nLab
superextensive site

Idea

A superextensive site is a site whose covering families can be reduced to single covers combined with stable coproducts. Many naturally occuring sites are superextensive. The prefix ‘super-’ is opposite to ‘sub-’ as in ‘subset’ and indicates that the Grothendieck topology of the site contains the extensive topology; compare subcanonical site.

Definition

Let $C$ be a finitely extensive category. A Grothendieck topology on $C$ is (finitely) superextensive if it includes the (finitely) extensive topology (generated by families of injections into finite coproducts) and every covering family is generated by a finite one.

Likewise, if $C$ is infinitary-extensive, a topology is infinitary-superextensive if it includes the infinitary-extensive topology (generated by families of injections into small coproducts) and every covering family is generated by a small one. (Of course, the last condition is vacuous if $C$ is small.)

Examples

• Well known examples of infinitary superextensive sites include Top and Diff with their usual topologies, generated by the open covers.
• The coherent topology on any (finitely or infinitary) extensive coherent category is (finitely or infinitary) superextensive. In particular, this includes (in the infinitary case) the canonical topology on a Grothendieck topos.

Relationship to singleton covers

If $f$ is a single morphism in $C$ that generates a covering family, we call it a cover. The basic property of a superextensive site is that one can replace any (finite or small, as appropriate) covering family $(j_i:U_i\to B{)}_i$ with the single map $[j_i{]}_i:{\coprod }_i{U}_i\to B$. This is a cover, since the original covering family factors through it, and the original covering family can be written as the composite of this cover and the family of coproduct injections $U_i\to {\coprod }_i{U}_i$.

Note that covers are stable under pullback, whenever such pullbacks exist. Even without pullbacks, they always satisfy the condition that if $f:U\to B$ is a cover and $g:A\to B$ is any morphism, then there is a cover $\overline{f}:V\to A$ such that $g\overline{f}$ factors through $f$. For by the pullback condition on a Grothendieck topology, there is a covering family $({\overline{f}}_j:V_j\to A)$ such that each $g{\overline{f}}_j$ factors through $f$, but then $[{\overline{f}}_j]:{\coprod }_j{V}_j\to A$ is the required cover. Covers are also easily seen to be stable under composition, and generate another Grothendieck topology (which is a “singleton pretopology”). If the original topology was denoted $T$, we denote the topology generated by single covers by $T_{\mathrm{cov}}$.

The main conclusion is:

Theorem

A superextensive Grothendieck topology $T$ on an extensive category $C$ is generated by the union of $T_{\mathrm{cov}}$ and the extensive topology $T_{\mathrm{ext}}$.

Proof

By definition, $T_{\mathrm{cov}}$ and $T_{\mathrm{ext}}$ are sub-topologies of $T$, so it suffices to observe that any covering family $(j_i:U_i\to B{)}_i$ in $T$ is the composite of the family of coproduct injections $(j_i:U_i\to {\coprod }_j{U}_j{)}_i$ with the cover $[j_i{]}_i:{\coprod }_j{U}_j\to B$.

Beware, however, of the following common misconception: $T$ is not identical with $T_{\mathrm{cov}}$. That is, although a superextensive topology is determined by its singleton covers, in the sense that it can be recovered uniquely by knowing only them, it is not generated by its singleton covers as a Grothendieck topology; we need to also include $T_{\mathrm{ext}}$ in the generating covering families.

An easy way to see that $T$ and $T_{\mathrm{cov}}$ must be different is to notice that $T_{\mathrm{cov}}$, like any singleton pretopology, is a locally connected site, so that all constant presheaves are sheaves for $T_{\mathrm{cov}}$. But since the initial object is covered by the empty family in $T_{\mathrm{ext}}$, no nontrivial constant presheaf can be a sheaf for $T_{\mathrm{ext}}$.

Compatibility of sheafification

In general, it is not true, for two Grothendieck topologies $T_1$ and $T_2$ on the same category, that $T_2$-sheafification preserves $T_1$-sheaves (and hence takes them to $T_1\cup T_2$-sheaves). For example, let $C$ be the walking arrow $0\to 1$, let $T_1$ be generated by the nonidentity morphism (so that $T_1$-sheaves are those for which the image of $0\to 1$ is an isomorphism), and let $T_2$ be generated by the empty family covering $0$ (so that $T_2$-sheaves are those for which the image of $0$ is terminal).

However, if $T_1$ is the extensive topology and $T_2=T_{\mathrm{cov}}$ for some superextensive topology (which is then recovered as $T_1\cup T_2$), and coproducts preserve covers, then it is true.

Theorem

Let $C$ be a finitary superextensive site, and suppose that finite coproducts of covers in $C$ are again covers. If $X$ is a presheaf on $C$ which is a $T_{\mathrm{ext}}$-sheaf, then the $T_{\mathrm{cov}}$-sheafification of $X$ is also a $T_{\mathrm{ext}}$-sheaf, and hence a $T$-sheaf.

Proof

We show that if $X$ is a $T_{\mathrm{ext}}$-sheaf, then so is $X^{+}$, where $(-{)}^{+}$ is the reflection into $T_{\mathrm{cov}}$-separated presheaves. Since $X^{++}$ is $T_{\mathrm{cov}}$-sheafification, this will prove the theorem.

Since $T_{\mathrm{cov}}$ is generated by single covers, for any $c\in C$ we have

$$X^{+}(c)={\mathrm{colim}}_{f:d\to c}\mathrm{gl}(X,f)$$X^+(c) = colim_{f\colon d \to c} gl(X,f)

where the colimit is over all covers with target $c$, and $\mathrm{gl}(X,f)\subseteq X(d)$ consists of those $x\in X(d)$ such that $r^{*}(x)=s^{*}(x)$, where $(r,s):d{\times }_{c}d\rightrightarrows d$ is the kernel pair of $f$.

The extensive topology is generated by the empty covering family of the initial object, and by the injections into binary coproducts. First consider the initial object $0$. $X$ being a sheaf for the empty family on $0$ means that $X(0)=1$ is terminal?. But since $C$ is extensive, its initial object is strict, so any morphism $f:d\to 0$ is an isomorphism. Therefore, $X^{+}(0)=X(0)=1$.

Now consider a binary coproduct $c=c_1+c_2$. $X$ being a sheaf for this means that $X(c)\to X(c_1)\times X(c_2)$ is an isomorphism (since coproducts are disjoint and $X(0)$ is terminal, there is no compatibility condition to worry about). We want to show that $X^{+}(c)\to X^{+}(c_1)\times X^{+}(c_2)$ is also an isomorphism.

First suppose given $x,x\prime \in X^{+}(c)$. Since covers are stable under pullback and composition, we can represent $x$ and $x\prime$ by some $\overline{x},\overline{x\prime }\in X(d)$ for the same cover $f:d\to c$. Now since $C$ is extensive and $c=c_1+c_2$, $f$ decomposes $d$ as $d=d_1+d_2$, and moreover $d_1$ and $d_2$ are the pullbacks of $f$ along the two inclusions $c_1\to c\leftarrow c_2$. Thus, since covers are stable under pullback, we have covers $f_1:d_1\to c_1$ and $f_2:d_2\to c_2$, and so the restrictions of $x$ and $x\prime$ to $c_1$ and $c_2$ can be represented by the restrictions of $\overline{x}$ and $\overline{x\prime }$ to $d_1$ and $d_2$ respectively.

Now if $x$ and $x\prime$ become equal in $X^{+}(c_1)$ and $X^{+}(c_2)$, there must be covers $g_i:b_i\to d_i$ for $i=1,2$ such that $g_i^{*}(\overline{x})=g_i^{*}(\overline{x\prime })$ in $X(b_i)$ for $i=1$ and $2$. Now since covers are stable under coproducts, the map $g_1+g_2:b_1+b_2\to d_1+d_2=d$ is a cover, and moreover $g_i^{*}(\overline{x})$ and $g_i^{*}(\overline{x\prime })$ can be obtained by first restricting to $b_1+b_2$ and then along the two coproduct injections.

$$\begin{array}{ccc}{b}_i& \stackrel{}{\to }& b_1+b_2\\ {}^{g_i}\downarrow & & {\downarrow }^{g_1+g_2}\\ d_i& \stackrel{}{\to }& d\\ \downarrow & & \downarrow \\ c_i& \underset{}{\to }& c\end{array}$$\array{b_i & \overset{}{\to} & b_1+b_2\\ ^{g_i}\downarrow && \downarrow^{g_1+g_2}\\ d_i& \overset{}{\to} & d\\ \downarrow && \downarrow\\ c_i & \underset{}{\to} & c}

But since $X$ is a $T_{\mathrm{ext}}$-sheaf and $g_i^{*}(\overline{x})=g_i^{*}(\overline{x\prime })$ for $i=1,2$, we must have that $\overline{x}$ and $\overline{x\prime }$ become equal in $X(b_1+b_2)$. Now since the composite $b_1+b_2\to d\to c$ is a cover, it follows that $x$ and $x\prime$ are equal in $X^{+}(c)$. Thus, $X^{+}(c)\to X^{+}(c_1)\times X^{+}(c_2)$ is injective, i.e. $X^{+}$ is $T_{\mathrm{ext}}$-separated.

The case of surjectivity is easier. Suppose given $x_i\in X^{+}(c_i)$, represented by $\overline{x_i}\in X(d_i)$ for some covers $f_i:d_i\to c_i$. Then since covers are stable under coproduct, $f_1+f_2:d_1+d_2\to c_1+c_2=c$ is a cover. And since $X$ is a $T_{\mathrm{ext}}$-sheaf, we have a $\overline{x}\in X(d)$ which restricts to $\overline{x_i}$ for $i=1,2$. Hence $\overline{x}$ represents some $x\in X^{+}(c)$ which restricts to each $x_i$, as desired. Thus, $X^{+}$ is a $T_{\mathrm{ext}}$-sheaf.

Of course, there is an analogous result for infinitary superextensive sites. With a little more work we can also prove the same thing for stacks and stackification.

This result is especially interesting because sheaves and stacks for the extensive topology are easier to come by than those for some other topologies. For instance, if $C$ is an extensive coherent category, then any internal category in $C$ represents a functor $C^{\mathrm{op}}\to \mathrm{Cat}$ which is a stack for the extensive topology, but not usually for the coherent topology. However, the coherent topology is superextensive and its covers are precisely the regular epimorphisms, i.e. $T_{\mathrm{cov}}$ is the regular topology. Thus, the stackification of an internal category in $C$ relative to the regular topology is still a stack for the extensive topology, and hence also for the coherent topology.

References

• Chapter 1 of David Roberts’ thesis uses superextensive sites in the study of anafunctors. The material is covered and updated in the paper Internal categories, anafunctors and localisations.

Discussion

The following discussion (originally at extensive category) resulted in the terminology “superextensive site.”

Now you can tell me if you like my terminology. —Toby

Hmm, I’m not sure. This sort of thing does seem to crop up a lot and it might be nice to have a name for it. On the other hand, “extensive site” could potentially be misinterpreted as meaning either “any site whose underlying category is extensive,” or “an extensive category equipped with its extensive coverage,” instead of what you want, which is “an extensive category equipped with a coverage that includes its extensive coverage.” -Mike

Toby: I'm of the school that believes that when you pile on adjectives, they are allowed to interact to produce additional requirements of compatibility. (Take ‘closed monoidal category’ for a pretty extreme example.) One can say ‘trivial extensive site’ for an extensive category equipped with the coverage of coproduct inclusions.

It's hard to use Google to determine if ‘extensive site’ already has a meaning.

Mike: I would argue that in “closed monoidal category” the adjective “closed” modifies “monoidal category” rather than simply “category.” However, I don’t dispute the general principle. I think there is more potential for confusion with “extensive site” than there is with “closed monoidal category,” however, but as I said I’m ambivalent at the moment.

Toby: And similarly, ‘extensive’ modifies ‘site’, not ‘category’ (which doesn't actually appear, so this practice can only be more justified). (^_^)

Mike: I am now firmly convinced that we should not use “extensive site” for this, because it seems to be an otherwise universal convention that the same adjective is applied to the coverage and the site. For example, in A2.1.11(b) the Elephant uses “coherent site” for “coherent category equipped with its coherent coverage,” without even formally defining “coherent site” (only “coherent coverage”). And I believe algebraic geometers speak of “the Zariski site” or “the etale site” meaning some appropriate category equipped with the Zariski coverage or the etale coverage. So I believe “extensive site” should really mean “an extensive category equipped with its extensive coverage.”

Toby: And here I was thinking that I should complain about this very language! I don't know about coherent sites, but certainly there are plenty of extensive sites (in the general sense) that aren't extensive sites (in the restricted sense), including what is arguably the original large site ($Top$). If you want the restricted sense, then you only have to add an adjective (‘trivial’), but what do you do if you want the general sense?

But perhaps you have an answer for that?

Mike: You can certainly complain about it, but I think it one of those numerous examples of well-established terminology that is suboptimal, but not bad enough to be worth trying to change. Changing any piece of terminology is hard enough, and insisting that everyone change the words they are using for familiar concepts is part of what originally gave category theory a bad name in the U.S., and has resulted in at least one unreadable book which might otherwise have been quite good. Also, as Jaap van Oosten pointed out in the introduction to his book “Realizability,” the only thing worse than bad terminology is continually changing terminology. I’m glad that “triple” was changed to “monad,” because “triple” was truly a horrible term, but the fact that it was changed still makes it more difficult to read old papers. So I think we need to pick and choose our terminological battles very carefully.

One can, of course, always say “a site whose underlying category is extensive.” By analogy with “subcanonical coverage” (= contained in the canonical coverage) one might also say “superextensive coverage.” And despite how common such sites may be, it’s not immediately clear to me how important it is to identify them.

Toby: They're important for a paper that I'm working on with John, if only to link to previous work. But ‘superextensive site’ will do.

Mike: Okay, I changed the text. If we’re agreed on that terminology, we could probably remove this discussion. Or maybe we should collect all our past terminological arguments on one page, so that people who are interested can see what we went through?

Toby: Should we create a page terminological disputes? (for archiving only, with a note of the relevant original page if anyone wants to reopen discussion) or use (or ask for) a Café post. The former is more convenient, the latter arguably more proper.