Could not include topos theory - contents
A geometric morphism that induces an equivalence of the fundamental ∞-groupoid of a locally ∞-connected (∞,1)-topos, or more generally of shapes.
A geometric morphism which induces an isomorphism on all abelian sheaf cohomology with coefficients in locally constant sheaves (of complexes) of abelian groups, as well as nonabelian cohomology in dimension one (the most classical notion).
A geometric morphism which has an inverse up to “homotopy” in the classical sense of a map , where since and are toposes, we have to incarnate as the topos .
Of these, the first three are arguably a notion of weak homotopy equivalence.
The first two definitions are equivalent, since (viewing a topos equivalently as the -topos of sheaves on the same site, if necessary), a constant ∞-stack on is one of the form for an ∞-groupoid , and the cohomology of with coefficients in is just . But when is locally -connected, is left adjoint to , so this is the same as by definition of . Thus, by the Yoneda lemma, a map of toposes induces an equivalence of fundamental ∞-groupoids, i.e. an isomorphism in , iff it induces an isomorphism on all such cohomology. Since in the non–locally--connected case, the shape is just the functor that would be represented by if it existed, the equivalence is even easier in that case.
These first two definitions also imply the third, since the abelian cohomology with coefficients in an abelian sheaf can be identified with nonabelian cohomology in the locally constant stack which is the -fold delooping of , and locally constant stacks on are represented by maps out of .
Mike Shulman: There’s something a little funny here about “constant” versus “locally constant,” but I don’t have time to figure it out now. Maybe someone else can explain it.
Conversely, it is proven in Artin-Mazur that (in our language) a geometric morphism of 1-topoi satisfying the third definition necessarily induces isomorphisms on all homotopy progroups. (The idea is essentially that nonabelian cohomology is controlled by abelian cohomology with local coefficients, via Postnikov decompositions.) In the locally -connected case, this is equivalent to inducing an equivalence of fundamental -groupoids—the first definition. Thus, at least for locally -connected 1-topoi, the first three definitions are all equivalent.
Mike Shulman: Possibly in the non–locally--connected case, the third definition is weaker, since a map of pro--groupoids can induce an isomorphism on all homotopy progroups without being an equivalence? It’s also not immediately obvious whether the result is also true as stated for all -toposes.
I also seem to recall that the last notion of a “paths homotopy equivalence” implies the first few, but I don’t remember why.
One important thing to note is that any adjunction in the 2-category Topos induces a homotopy equivalence in any of the above senses. For the first (hence also the second and third) sense, we just observe that is 2-functorial, whereas it lands in the (∞,1)-category ∞Gpd where all 2-morphisms are invertible; hence adjunctions get sent to adjunctions, which are necessarily equivalences.
For the final definition, we note that has tensors with the interval category, that are given by cartesian product with sheaves on the Sierpinski space . Thus, a natural transformation between two geometric morphisms is the same as a single geometric morphism . Now just pick a map that doesn’t identify the endpoints, like the classifying map of , to get an actual “homotopy” between the same two geometric morphisms. Hence, any 2-morphism in gives a homotopy, so any adjunction gives a homotopy equivalence.
homotopy equivalence of toposes