nLab (infinity,1)-geometric morphism

Contents

Context

(,1)(\infty,1)-Topos Theory

(∞,1)-topos theory

structures in a cohesive (∞,1)-topos

Contents

Idea

By categorification of the notion of geometric morphism, an (,1)(\infty,1)-geometric morphism is a pair of adjoint (∞,1)-functors between (∞,1)-toposes where the leftadjoint is left-exact.

Definition

For H\mathbf{H} and K\mathbf{K} two (∞,1)-toposes, a (,1)(\infty,1)-geometric morphism f:HKf : \mathbf{H} \to \mathbf{K} is

The (non-full) sub-(∞,1)-category of (∞,1)Cat on (∞,1)-toposes and (,1)(\infty,1)-geometric morphisms between them is (∞,1)Toposes.

Examples

References

section 6.3.1 in

Last revised on October 18, 2021 at 08:19:50. See the history of this page for a list of all contributions to it.