Geodesic
Syntactic characterizations of properties of classifying toposes
Theory and applications of categories, Tome 26 (2012), pp. 176-193

Voir la notice de l'article provenant de la source Theory and Applications of Categories website

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.

Publié le :
Classification : 03G30, 18C10, 18B25
Keywords: Grothendieck topos, site characterizations, geometric logic, presheaf topos 
@article{TAC_2012_26_a5,
     author = {Olivia Caramello},
     title = {Syntactic characterizations of properties of classifying toposes},
     journal = {Theory and applications of categories},
     pages = {176--193},
     publisher = {mathdoc},
     volume = {26},
     year = {2012},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2012_26_a5/}
}
TY  - JOUR
AU  - Olivia Caramello
TI  - Syntactic characterizations of properties of classifying toposes
JO  - Theory and applications of categories
PY  - 2012
SP  - 176
EP  - 193
VL  - 26
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/TAC_2012_26_a5/
LA  - en
ID  - TAC_2012_26_a5
ER  - 
%0 Journal Article
%A Olivia Caramello
%T Syntactic characterizations of properties of classifying toposes
%J Theory and applications of categories
%D 2012
%P 176-193
%V 26
%I mathdoc
%U http://geodesic.mathdoc.fr/item/TAC_2012_26_a5/
%G en
%F TAC_2012_26_a5
Olivia Caramello. Syntactic characterizations of properties of classifying toposes. Theory and applications of categories, Tome 26 (2012), pp. 176-193. http://geodesic.mathdoc.fr/item/TAC_2012_26_a5/