Geodesic
Partial Toposes
Theory and applications of categories, Tome 11 (2003), pp. 309-320 Cet article a éte moissonné depuis la source Theory and Applications of Categories website

Voir la notice de l'article

We introduce various notions of partial topos, i.e. `topos without terminal object'. The strongest one, called local topos, is motivated by the key examples of finite trees and sheaves with compact support. Local toposes satisfy all the usual exactness properties of toposes but are neither cartesian closed nor have a subobject classifier. Examples for the weaker notions are local homeomorphisms and discrete fibrations. Finally, for partial toposes with supports we show how they can be completed to toposes via an inverse limit construction.

Classification : 18B25, 18D30
Keywords: fibred categories, partial toposes 
@article{TAC_2003_11_a12,
     author = {Jean B\'enabou and Thomas Streicher},
     title = {Partial {Toposes}},
     journal = {Theory and applications of categories},
     pages = {309--320},
     year = {2003},
     volume = {11},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/TAC_2003_11_a12/}
}
TY  - JOUR
AU  - Jean Bénabou
AU  - Thomas Streicher
TI  - Partial Toposes
JO  - Theory and applications of categories
PY  - 2003
SP  - 309
EP  - 320
VL  - 11
UR  - http://geodesic.mathdoc.fr/item/TAC_2003_11_a12/
LA  - en
ID  - TAC_2003_11_a12
ER  - 
%0 Journal Article
%A Jean Bénabou
%A Thomas Streicher
%T Partial Toposes
%J Theory and applications of categories
%D 2003
%P 309-320
%V 11
%U http://geodesic.mathdoc.fr/item/TAC_2003_11_a12/
%G en
%F TAC_2003_11_a12
Jean Bénabou; Thomas Streicher. Partial Toposes. Theory and applications of categories, Tome 11 (2003), pp. 309-320. http://geodesic.mathdoc.fr/item/TAC_2003_11_a12/