Definition 7.47.12. Let $\mathcal{C}$ be a category. The finest topology on $\mathcal{C}$ such that all representable presheaves are sheaves, see Lemma 7.47.11, is called the canonical topology of $\mathcal{C}$.
Definition 7.47.12. Let $\mathcal{C}$ be a category. The finest topology on $\mathcal{C}$ such that all representable presheaves are sheaves, see Lemma 7.47.11, is called the canonical topology of $\mathcal{C}$.
Comments (0)