# 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.