Locally a topos - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T08:08:31Z http://mathoverflow.net/feeds/question/42847 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/42847/locally-a-topos Locally a topos David Carchedi 2010-10-19T23:06:53Z 2010-10-20T02:19:39Z <p>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...</p> <p>Are there other of these "locally a topos" categories which are not topoi? Have they been studied before?</p> http://mathoverflow.net/questions/42847/locally-a-topos/42858#42858 Answer by Peter LeFanu Lumsdaine for Locally a topos Peter LeFanu Lumsdaine 2010-10-20T01:15:15Z 2010-10-20T02:19:39Z <p>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.</p> <hr> <p>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.) </p> <p>But this is the <em>universal</em> 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.<sup>[1]</sup></p> <p>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.</p> <p>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 :-)</p> <p>[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 <em>be</em> an object of $\Topos$.</p>