nLab (infinity,n)-sheaf (Rev #1)

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)$-sheaf on (a (∞,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.

Revision on November 27, 2012 at 10:58:46 by Urs Schreiber See the history of this page for a list of all contributions to it.