Locally a topos

What kind of categories $C$ have the property that each slice category $C/c$ is a topos? Obviously, topoi have this property, but, the converse is not true. An example is the category $EtTop$ of topological spaces and only local homeomorphisms. $EtTop/X \cong Sh(X)$, but $EtTop$ is very far from being a topos! It doesn't have an initial or final object, nor pushouts...

Are there other of these "locally a topos" categories which are not topoi? Have they been studied before?

-

The question of local toposes and similar categories was discussed a couple of years ago on the categories list by Peter Johnstone and others, if I recall correctly. I don't know anywhere that they appear in print, but I don't know the topos theory literature nearly well enough to be an authoratitive source on this.

On the local toposes themselves: $\newcommand{\Topos}{\mathbf{Topos}_\mathit{slice}}$one other in-some-sense-trivial example, if I'm not mistaken, is the category $\Topos$, with objects all (small, fsvo small) elementary toposes, and with maps just the geometric morphisms that are (up to equivalence) induced by slicing, modulo natural isomorphism. (If we wanted to cover our tracks a little, we could say “the geometric morphisms whose inverse image functors are logical”; the equivalence of this is shown in Mac Lane and Moerdijk in their chapter on logical morphisms, iirc.)

But this is the universal example: any other local topos $\newcommand{\E}{\mathcal{E}}$has a unique-up-to-equivalence “local equivalence” $\E \to \Topos$, sending $A$ to $\E/A$, and any local equivalence into $\Topos$ must come from a local topos.[1]

But local equivalences into a fixed category $\newcommand{\C}{\mathcal{C}} \C$, in turn, correspond (up to equivalence-over-$\C$) to functors $\C^\mathrm{op} \to \mathbf{Sets}$. ($F : \mathcal{D} \to \C$ corresponds to the functor taking $C \in \C$ to the set of isomorphism classes of objects of $\mathcal{D}$ over $C$.) Of course, there's a size consideration: whatever size of $\mathbf{Sets}$ we use constrains the essential size of the fibers.

In terms of local toposes seen as categories in their own right, one point of interest is that you can interpret pretty much all the logic in them that you can in toposes (i.e. higher-order type theory; and geometric logic if you go Grothendieck-y)… except that of course you have to abandon the “empty context”, since you don't have a terminal object. (Everything else in the interpretation of logic is purely local.) In a local topos, there is no “global validity”: all truth is relative :-)

[1] The uniqueness issues here are a little subtle: if I'm not mistaken we need to either assume (large) choice, or use anafunctors instead of functors, or restrict the size of $\E$ enough that each slice will itself literally be an object of $\Topos$.

-
This is very neat! In case anyone is worried about the idea of taking geometric morphisms "modulo natural isomorphism," it might be worth pointing out that the 2-category of toposes and geometric-morphisms-induced-by-slicing is actually already equivalent to a 1-category, i.e. its hom-categories are essentially discrete. (It is "locally discrete" in the other sense of "locally"!) So nothing is really being lost there. – Mike Shulman Oct 25 2010 at 2:20
Hey, I realized I never accepted this answer, sorry! – David Carchedi Mar 4 2011 at 15:48