nLab (n,1)-topos

Idea

A (Grothendieck) $(n,1)$-topos is the (n,1)-category version of a Grothendieck topos: a collection of (n-1)-groupoid-valued sheaves on an $(n,1)$-categorical site.

Notice that an ∞-stack on an ordinary (1-categorical) site that takes values in ∞-groupoids which happen to by 0-truncated, i.e. which happen to take values just in Set $\hookrightarrow$ ∞Grpd is the same as an ordinary sheaf of sets.

This generalizes: every $(n,1)$-topos arises as the full (∞,1)-subcategory on $(n-1)$-truncated objects in an (∞,1)-topos of $\infty$-stacks on an (n,1)-category site.

Definition

Recall that

• a 1-Grothendieck topos is precisely an accessible geometric embedding into a category of presheaves $PSh(C)$ on some small category $C$

  $$Sh(C) \stackrel{\overset{lex}{\leftarrow}}{\hookrightarrow} PSh(C) \,.$$

• a (∞,1)-topos (of ∞-stacks/(∞,1)-sheaves) is precisely an accessible geometric embedding into a (∞,1)-category of (∞,1)-presheaves $PSh_{(\infty,1)}(C)$ on some small (∞,1)-category $C$:

  $$Sh_{(\infty,1)}(C) \stackrel{\overset{lex}{\leftarrow}}{\hookrightarrow} PSh_{(\infty,1)}(C) \,.$$

Accordingly now,

Definition

An $(n,1)$-topos $\mathcal{X}$ is an accessible left exact localization of the full (∞,1)-subcategory $PSh_{\leq n-1}(C) \subset PSh_{(\infty,1)}(C)$ on $(n-1)$-truncated objects in an (∞,1)-category of (∞,1)-presheaves on a small (∞,1)-category $C$:

$$\mathcal{X} \stackrel{\overset{lex}{\leftarrow}}{\hookrightarrow} PSh_{\leq n-1}(C) \,.$$

This appears as HTT, def. 6.4.1.1.

Properties

Write (∞,1)-Topos for the (∞,1)-category of (∞,1)-topos and (∞,1)-geometric morphisms. Write $(n,1)Topos$ for the (n+1,1)-category of $(n,1)$-toposes and geometric morphisms between these.

The following proposition asserts that when passing to the $(n,1)$-topos of an (∞,1)-topos $\mathcal{X}$, only the n-localic “Postnikov stage” of $\mathcal{X}$ matters.

Proposition

Every $(n,1)$-topos $\mathcal{Y}$ is the (n,1)-category of $(n-1)$-truncated objects in an n-localic (∞,1)-topos $\mathcal{X}_n$

$$\tau_{n-1} X_n \stackrel{\simeq}{\to} \mathcal{Y} \,.$$

This is (HTT, prop. 6.4.5.7).

Proposition

For any $0 \leq m \leq n \leq \infty$, $(m-1)$-truncation induces a localization

$$Topos_{(m,1)} \stackrel{\overset{\tau_{m-1}}{\leftarrow}}{\hookrightarrow} Topos_{n,1}$$

that identifies $Topos_{(m,1)}$ equivalently with the full subcategory of $m$-localic $(n,1)$-toposes.

(This is 6.4.5.7 in view of the following remarks.)

Examples

$(2,1)$-Toposes

If $E$ is a (2,1)-topos in which every object is covered by a 0-truncated object, then $E$ is equivalent to the category of (2,1)-sheaves on a 1-site (rather than merely a (2,1)-site, as is the case for general (2,1)-topoi), and is thus canonically associated to a 1-topos, namely the category of 1-sheaves on that same 1-site. And in fact, $E$ can be recovered from this 1-topos as the category of (2,1)-sheaves for its canonical topology.

See truncated 2-topos for more.

Related concepts

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

References

Section 6.4 of

• Jacob Lurie, Higher Topos Theory