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)