nLab base (infinity,1)-topos

Redirected from "base (∞,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.