Let be a small site. Then the full subcategory inclusion of its category of sheaves (Grothendieck topos) into its category of presheaves is a reflective subcategory inclusion
such that the reflector preserves finite limits (the reflector being sheafification).
Moreover, up to equivalence, every Grothendieck topos arises this way: Given a small category there is a bijection between
the equivalence classes of left exact reflective subcategories of the category of presheaves
which is such that .
(e.g. Borceux 94, prop. 3.5.4, cor. 3.5.5, Johnstone, C.2.1.11, or Kelly).
(accessible embedding is implied)
In the situation of prop. it follows that the inclusion is an accessible functor, hence an accessible reflective subcategory inclusion.
Every Grothendieck topos like and is a locally presentable category (this prop., Borceux 94, vol 3, prop. 3.4.16). Therefore with prop. the statement follows by the adjoint functor theorem for locally presentable categories (this prop.).
(generalization to (∞,1)-toposes)
For (∞,1)-toposes the accessibility of the reflection is no longer implied in general, contrary to prop. above, but needs to be required. It is however still implied for topological localizations (Lurie, Cor. 6.2.1.6).
Francis Borceux, vol. 3, section 3.5 of Handbook of Categorical Algebra, Cambridge University Press (1994)
Shane Kelly, What is the relationship between Grothendieck pretopologies and Grothendieck topologies?, 2022 (web) .
Last revised on February 9, 2024 at 03:18:44. See the history of this page for a list of all contributions to it.