We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (respectively connected and locally connected, atomic, compact, presheaf) topos, and exploit the existence of multiple sites of definition for a given topos to establish various results on quotients of theories of presheaf type. © Olivia Caramello, 2012.
Syntactic characterizations of properties of classifying toposes
CARAMELLO, OLIVIA
2012-01-01
Abstract
We give characterizations, for various fragments of geometric logic, of the class of theories classified by a locally connected (respectively connected and locally connected, atomic, compact, presheaf) topos, and exploit the existence of multiple sites of definition for a given topos to establish various results on quotients of theories of presheaf type. © Olivia Caramello, 2012.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.