(∞,1)-category of (∞,1)-sheaves
Extra stuff, structure and property
locally n-connected (n,1)-topos
locally ∞-connected (∞,1)-topos, ∞-connected (∞,1)-topos
structures in a cohesive (∞,1)-topos
By categorification of the notion of geometric morphism, an -geometric morphism is a pair of adjoint (∞,1)-functors between (∞,1)-toposes where the leftadjoint is left-exact.
For and two (∞,1)-toposes, a -geometric morphism is
The (non-full) sub-(∞,1)-category of (∞,1)Cat on (∞,1)-toposes and -geometric morphisms between them is (∞,1)Toposes.
For the moment see the discussion and the further links at geometric morphism
section 6.3.1 in
Revised on November 3, 2011 14:35:50