Canonical Topology on a Topos and Its Site of Definition – Category Theory Study

ct.category-theorygrothendieck-topologysheaf-theorysitestopos-theory

The canonical (Grothendieck) topology for a category $C$ is the largest (finest) topology such that every representable presheaf over $C$ is a sheaf.

According to First Order Categorical Logic Lemma 1.3.14, for a Grothendieck topos $\mathcal{E}$, there is an equivalence between $E$ and $Sh(\mathcal{E},J'_{canonical})$.

This means that there is an equivalence between $Sh(C,J)$ and $Sh(Sh(C,J),J'_{canonical})$.

I'm wondering, can anything be said about the relationship between the topologies $J$ and $J'_{canonical}$? i.e. between a site, and the canonical topology on the topos it defines?

In particular, I'm wondering:

  • For a covering sieve $R \in J$, do we necessarily have that $\{y(f) \mid y \in R\}$ is covering in $J'_{canonical}$, where $y$ is the Yoneda embedding?
  • Does the situation change if $J$ is subcanonical?

Best Answer

This is essentially correct, and there is no need for the topology to be subcanonical. But let me clarify:

Whether the topology is subcaninical or not, we have the following: given any family of maps $(c_i \to c)_{i \in I}$ in $C$ the following are equivalents:

  1. $(c_i \to c)$ is a covering family for the topology $J$.
  2. The $y(c_i)^a \to y(c)^a$, form a covering family in the canonical topology of $Sh(C,J)$. (where $a$ is the sheafification).

Note that, If you're using the Sieve based definition of topology, this also works. You just need to read "the family $a_i \to a$ is a covering family as, "the sieve generated by the family $(a_i \to a)_{i \in I} $ is a covering sieve". So, there is no need to assume the existence of pullback in $C$ for this to work.

I also want to clarify that the equivalence between $(1)$ and $(2)$ is the only reason for the presence of two of the three conditions in the definition of a topology.

If your "topology" $J$ only satisfies the base-change/pullback-stability condition (i.e. the pullback of a covering sieve is a covering sieve), then this is enough to establish the two key properties:

(A) the sheafification functor preserve finite limits, so that the category of sheaves is a Grothendieck topos.

(B) Condition (1) imply condition (2).

And the other two axioms (the trivial cover is a cover, and the locality condition) are only there to make it so that we also have $(2) \Rightarrow (1)$ so that there is a correspondence between topologies on a category $C$ and left exact localization of the category of presheaves on $C$.

In fact, starting from a notion of covering $J$ that satisfies only the base-change condition, then the set of family that satisfies condition $(2)$ is exactly the Grothendieck topology generated by $J$.

Related Question