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
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
0.7921797633171082
0 references
0.7564875483512878
0 references
0.7470836639404297
0 references