nLab (infinity,n)-sheaf

Contents

Context

Higher category theory

higher category theory

1-categorical presentations

Higher topos Theory

(∞,1)-topos theory

Constructions

structures in a cohesive (∞,1)-topos

Contents

Definition

For $\mathbf{H}$ an (∞,1)-topos and $n \in \mathbb{N}$, an $(\infty,n+1)$-sheaf on (an (∞,1)-site of definition of) $\mathbf{H}$ is an n-fold category object in $\mathbf{H}$, $X \in n Cat(\mathbf{H})$.

The collection of all $(\infty,n)$-sheaves is an (∞,n)-topos.

Last revised on November 27, 2012 at 13:19:25. See the history of this page for a list of all contributions to it.