2005 Microwave Electronics: Measurements, Identification, Applications

Abstract

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 homemorphisms and discrete fibrations. Finally, for partial toposes with supports we show how they can be completed to toposes via an inverse limit construction.