Partial Toposes

Jean Bénabou and Thomas Streicher

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.

Keywords: fibred categories, partial toposes

2000 MSC: 18B25,18D30

Theory and Applications of Categories , Vol. 11, 2003, No. 13, pp 309-320.

TAC Home