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:
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$.