Site characterizations for geometric invariants of toposes (Q2847340)

From MaRDI portal





scientific article; zbMATH DE number 6205524
Language Label Description Also known as
English
Site characterizations for geometric invariants of toposes
scientific article; zbMATH DE number 6205524

    Statements

    0 references
    4 September 2013
    0 references
    Grothendieck topos
    0 references
    site characterizations
    0 references
    geometric logic
    0 references
    math.CT
    0 references
    math.AG
    0 references
    math.LO
    0 references
    Site characterizations for geometric invariants of toposes (English)
    0 references
    The main goal of this paper is to discuss the problem of characterizing the property of a Grothendieck topos to satisfy a given geometric invariant as a property of its sites of definition, and indicate a set of general techniques for establishing such criteria. These methodologies are applied to specific invariants, notably including the property of a Grothendieck topos to be localic obtaining explicit site characterizations for them.NEWLINENEWLINEThe author makes some general remarks about the problem of obtaining site characterizations for geometric invariants of toposes, leading to a metatheorem giving sufficient conditions for a topos-theoretic invariant to admit bijective site characterizations holding for a given class of sites, while in the paper the author investigates the specific invariants mentioned in more detail, obtaining natural site characterizations for them of the desired kind.
    0 references

    Identifiers