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.
Site characterizations for geometric invariants of toposes
CARAMELLO, OLIVIA
2012-01-01
Abstract
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.
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
