(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
For $n \in \mathbb{Z}$, $-2 \leq n \lt \infty$, an $(n,1)$-sheaf is an n-truncated (∞,1)-sheaf: an (∞,1)-sheaf with values in n-groupoids.
This is also sometimes called an $(n-1)$-stack.
(0,1)-sheaf = ideal (of a poset/proset)
(2,1)-sheaf = stack (of groupoids)
Last revised on May 16, 2021 at 13:56:16. See the history of this page for a list of all contributions to it.