# nLab base (infinity,1)-topos

Contents

### Context

#### $(\infty,1)$-Topos Theory

(∞,1)-topos theory

## Constructions

structures in a cohesive (∞,1)-topos

# Contents

## Idea

In ordinary topos theory it is common to “work over a fixed base topos” which may or may not be the canonical choice Set.

Similarily, in (∞,1)-topos theory one may choose to work over a fixed base $(\infty,1)$-topos $\mathbf{B}$ other than ∞Grpd.

Basically this amounts to working not with the (∞,1)-category (∞,1)Topos, but instead in the over-(∞,1)-topos $(\infty,1)Topos/\mathbf{B}$.

Created on October 31, 2011 at 17:36:37. See the history of this page for a list of all contributions to it.