(2,1)-quasitopos?
structures in a cohesive (∞,1)-topos
rational homotopy?
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:41:17. See the history of this page for a list of all contributions to it.