There are multiple conceivable such generalizations, depending in particular on whether one tries to generalize the notion of Grothendieck topos or of elementary topos, and in the latter case what axioms one chooses to take as the basis for generalization.

In contrast, (2,1)-toposes are much better understood.

A Grothendieck 2-topos is a 2-category of 2-sheaves over a 2-site.

A Grothendieck (2,1)-topos is a (2,1)-category of (2,1)-sheaves over a (2,1)-site.

Properties

Characterization of 2-sheaf 2-toposes

The 2-toposes of 2-sheaves over a 2-site are special among all 2-toposes, in direct generalization of how sheaf toposes (“Grothendieck toposes”) are special among all toposes. In that case, Giraud's theorem famously characterizes sheaf toposes. This characterization has a 2-categorical analog: the 2-Giraud theorem.

(n,r)(n,r)-Localic 2-toposes

A 2-sheaf 2-topos is “(n,r)(n,r)-localic” or “(n,r)(n,r)-truncated” if it has an (n,r)-site of definition.

In particular a (2,1)(2,1)-localic 2-topos is the same as a (2,1)-topos.

In terms of internal categories

Given a 2-topos 𝒳\mathcal{X}, regard it is a 2-site by equipping it with its canonical topology.

Theorem

For 𝒳\mathcal{X} a 2-topos of 2-sheaves on a 2-site, there is an equivalence of 2-categories

𝒳≃Cat(𝒳). \mathcal{X} \simeq Cat(\mathcal{X}) \,.

If 𝒳\mathcal{X} is (2,1)(2,1)-localic, with a (2,1)-site of definition CC, then there is already an equivalence

𝒳≃Cat(Sh (2,1)(C)) \mathcal{X} \simeq Cat(Sh_{(2,1)}(C))

with the 2-category of categories internal to the underlying (2,1)-topos.

If 𝒳\mathcal{X} is 11-localic, with 1-site of definition, then there is even already an equivalence

𝒳≃Cat(Sh(C)) \mathcal{X} \simeq Cat(Sh(C))

with the internal categories in the underlying sheaf topos.

Examples

The archetypical 2-topos

The archetypical 2-topos is Cat. This plays the role for 2-toposes as Set does for 1-toposes.

Internal categories in a (2,1)(2,1)-topos

Given any (2,1)-topos 𝒳\mathcal{X}, the 2-category Cat(𝒳)Cat(\mathcal{X}) of internal categories in 𝒳\mathcal{X} ought to be a 2-topos. But it seems that at the moment there is no proof of this in the literature.

For literature on internal categories in 1-toposes see at 2-sheaf.

flavors of higher toposes

1-topos
- (0,1)-topos
- (1,1)-topos = topos
- (2,1)-topos
- ( n , 1 ) (n,1) -topos
- (∞,1)-topos ( n n -localic)
  
  \;\;\;\; model topos
2-topos
- (2,2)-topos ( n n -localic)
- (∞,2)-topos
n n -topos
- ( ∞ , n ) (\infty,n) -topos

References

An introduction is in

Mike Shulman, What is a 2-topos?

Early developments include

Ross Street, Two dimensional sheaf theory, J. Pure and Appl. Algebra 24 (1982) 2Opp.
Dominique Bourn, Sur les ditopos, C. R. Acad. Sci. Paris 279, 911–913 (1974).

A detailed discussion from the point of view of internal logic is at

Mike Shulman, 2-categorical logic

Discussion of the 2-categorical Giraud theorem for 2-sheaf 2-toposes is in

Ross Street, Characterization of Bicategories of Stacks Category theory (Gummersbach 1981) LNM 962, 1982, MR0682967 (84d:18006)
Mike Shulman, 2-Giraud theorem

Discussion of the elementary topos-analog of 2-toposes is in

Mark Weber, Yoneda structures from 2-toposes, Appl Categor Struct 15 (2007) 259–323 [doi:10.1007/s10485-007-9079-2, pdf]

A notion of “flat 2-functor” (cf Diaconescu's theorem) perhaps relevant to the “points” of 2-toposes is in

M.E. Descotte, Eduardo Dubuc, M. Szyld, On the notion of flat 2-functors, arXiv:1610.09429

Discussion of 2-classifiers for 2-toposes is in

Luca Mesiti, 2-classifiers via dense generators and Hofmann-Streicher universe in stacks [arXiv:2401.16900]

Last revised on January 31, 2024 at 07:52:52. See the history of this page for a list of all contributions to it.