nLab (infinity,2)-topos

Contents

Context

Higher category theory

higher category theory

Basic concepts

Basic theorems

Applications

Models

Morphisms

Functors

Universal constructions

Extra properties and structure

1-categorical presentations

Higher topos Theory

(∞,1)-topos theory

structures in a cohesive (∞,1)-topos

Contents

Idea

An (∞,2)-category of (∞,2)-sheaves. The joint higher generalization of the notion of (∞,1)-topos and 2-topos.

The archetypical example is the (infinity,2)-category of (infinity,1)-categories Cat (,1)Cat_{(\infty,1)}. See also at formal category theory.

flavors of higher toposes

References

Discussion of, potentially, the internal language of (,2)(\infty,2)-toposes as a form of directed homotopy type theory:

Last revised on April 17, 2023 at 16:15:33. See the history of this page for a list of all contributions to it.