Could not include topos theory - contents
A geometric morphism is locally connected if it behaves as though its fibers are locally connected spaces. In particular, a Grothendieck topos is locally connected iff the unique geometric morphism to Set (the terminal Grothendieck topos, i.e. the point in the category Toposes of toposes) is locally connected.
A geometric morphism is locally connected if it satisfies the following equivalent conditions:
It is essential, i.e. has a left adjoint , and moreover can be made into an -indexed functor.
For every , the functor is cartesian closed.
commutes with dependent products – For any morphism in , the canonically defined natural transformation is an isomorphism.
Relation to connectedness
If is locally connected, then it makes sense to think of the left adjoint as assigning to an object of its “set of connected components” in . In particular, if is locally connected, then it is moreover connected if and only if preserves the terminal object. However, not every connected geometric morphism is locally connected.
Over the base topos Set every connected topos which is essential is automatically locally connected.
This is because the required Frobenius reciprocity condition
is automatically satisfied, using that cartesian product with a set is equivalently a coproduct
that the left adjoint preserves coproducts, and that for full and faithful we have .
The pair of adjoint functors in a locally connected geometric morphisms forms a “strong adjunction” in that it holds also for the internal homs in the sense that there is an natural isomorphism
for all . This follows by duality from the Frobenius reciprocity that characterizes as being a cartesian closed functor:
by the Yoneda lemma, the morphism in question is an isomorphism if for all objects the morphism
is a bijection. By adjunction this is the same as
Again by Yoneda, this is a bijection precisely if
is an isomorphism. But this is the Frobenius reciprocity condition on .
Locally connected toposes are coreflective in Topos. See (Funk).
If the terminal global section geometric morphism is locally connected, one calls a locally connected topos. More generally, if is locally connected, we may call a locally connected -topos.
Let be a topological space (or a locale) and an open subset, with corresponding geometric embedding . Then any can be identified with a space (or locale) equipped with a local homeomorphism , in such a way that . Moreever, can be identified with the pullback of along , and so similarly. Noting that is again the inclusion of an open subset, and using the fact that the inverse image part of any open geometric embedding is cartesian closed, we see that is cartesian closed for any . Hence is locally connected.
The canonical textbook reference is section C3.3 of
Further references include
J. Funk, The locally connected coclosure of a Grothendieck topos, Journal of Pure and Applied Algebra Volume 137, Issue 1, 7 (1999), Pages 17-27
Ieke Moerdijk, Gavin Wraith, Connectedd and locally connected toposes are path connected (JSTOR)