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 this page instead for the normal view: Site characterizations for geometric invariants of toposes |
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
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