(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
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.
Recall that
a 1-Grothendieck topos is precisely an accessible geometric embedding into a category of presheaves $PSh(C)$ on some small category $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$:
Accordingly now,
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$:
This appears as HTT, def. 6.4.1.1.
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.
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$
This is (HTT, prop. 6.4.5.7).
For any $0 \leq m \leq n \leq \infty$, $(m-1)$-truncation induces a localization
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.)
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.
Section 6.4 of
Last revised on September 30, 2016 at 14:12:14. See the history of this page for a list of all contributions to it.