nLab
(infinity,2)-topos

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.

Related concepts

• formal $(\infty,1)$-category theory.

flavors of higher toposes

• 1-topos

  • (0,1)-topos

  • (1,1)-topos = topos

  • (2,1)-topos

  • $(n,1)$-topos

  • (∞,1)-topos ($n$-localic)

    $\;\;\;\;$ model topos

• 2-topos

  • (2,2)-topos ($n$-localic)

  • (∞,2)-topos

• $n$-topos

  • $(\infty,n)$-topos