Site characterizations for geometric invariants of toposes
Theory and applications of categories, Tome 26 (2012), pp. 710-728
Cet article a éte moissonné depuis la source Theory and Applications of Categories website
We 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. We then apply our methodologies to specific invariants, notably including the property of a Grothendieck topos to be localic (resp. atomic, locally connected, equivalent to a presheaf topos), obtaining explicit site characterizations for them.
Publié le :
Classification :
03G30, 18C10, 18B25
Keywords: Grothendieck topos, site characterizations, geometric logic
Keywords: Grothendieck topos, site characterizations, geometric logic
@article{TAC_2012_26_a24,
author = {Olivia Caramello},
title = {Site characterizations for geometric invariants of toposes},
journal = {Theory and applications of categories},
pages = {710--728},
year = {2012},
volume = {26},
language = {en},
url = {http://geodesic.mathdoc.fr/item/TAC_2012_26_a24/}
}
Olivia Caramello. Site characterizations for geometric invariants of toposes. Theory and applications of categories, Tome 26 (2012), pp. 710-728. http://geodesic.mathdoc.fr/item/TAC_2012_26_a24/