# nLab (infinity,2)-topos

Contents

### Context

#### Higher category theory

higher category theory

## 1-categorical presentations

#### Higher topos Theory

(∞,1)-topos theory

## Constructions

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_{(\infty,1)}$. See also at formal category theory.

flavors of higher toposes

Last revised on October 13, 2021 at 12:01:58. See the history of this page for a list of all contributions to it.