TY - JOUR

T1 - Grothendieck quasitoposes

AU - Garner, Richard

AU - Lack, Stephen

PY - 2012/4/1

Y1 - 2012/4/1

N2 - A full reflective subcategory E of a presheaf category [C op,Set] is the category of sheaves for a topology j on C if and only if the reflection from [C op,Set] into E preserves finite limits. Such an E is then called a Grothendieck topos. More generally, one can consider two topologies, j⊆ k, and the category of sheaves for j which are also separated for k. The categories E of this form for some C, j, and k are the Grothendieck quasitoposes of the title, previously studied by Borceux and Pedicchio, and include many examples of categories of spaces. They also include the category of concrete sheaves for a concrete site. We show that a full reflective subcategory E of [C op,Set] arises in this way for some j and k if and only if the reflection preserves monomorphisms as well as pullbacks over elements of E. More generally, for any quasitopos S, we define a subquasitopos of S to be a full reflective subcategory of S for which the reflection preserves monomorphisms as well as pullbacks over objects in the subcategory, and we characterize such subquasitoposes in terms of universal closure operators.

AB - A full reflective subcategory E of a presheaf category [C op,Set] is the category of sheaves for a topology j on C if and only if the reflection from [C op,Set] into E preserves finite limits. Such an E is then called a Grothendieck topos. More generally, one can consider two topologies, j⊆ k, and the category of sheaves for j which are also separated for k. The categories E of this form for some C, j, and k are the Grothendieck quasitoposes of the title, previously studied by Borceux and Pedicchio, and include many examples of categories of spaces. They also include the category of concrete sheaves for a concrete site. We show that a full reflective subcategory E of [C op,Set] arises in this way for some j and k if and only if the reflection preserves monomorphisms as well as pullbacks over elements of E. More generally, for any quasitopos S, we define a subquasitopos of S to be a full reflective subcategory of S for which the reflection preserves monomorphisms as well as pullbacks over objects in the subcategory, and we characterize such subquasitoposes in terms of universal closure operators.

UR - http://www.scopus.com/inward/record.url?scp=84856967449&partnerID=8YFLogxK

U2 - 10.1016/j.jalgebra.2011.12.016

DO - 10.1016/j.jalgebra.2011.12.016

M3 - Article

AN - SCOPUS:84856967449

VL - 355

SP - 111

EP - 127

JO - Journal of Algebra

JF - Journal of Algebra

SN - 0021-8693

IS - 1

ER -