Site characterizations for geometric invariants of toposes (Q2847340)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6205524
Language Label Description Also known as
default for all languages
No label defined
    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
      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