# nLab (infinity,n)-topos

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}$, the collection $n Cat(\mathbf{H})$ of n-category object in $\mathbf{H}$, hence of (∞,n+1)-sheaves on $\mathbf{H}$ is an $(\infty,1)$-localic $(\infty,n+1)$-topos.

Last revised on November 28, 2012 at 03:40:05. See the history of this page for a list of all contributions to it.