A structured (infinity,1)-topos $\mathcal{O}_{\mathcal{X}} : \mathcal{G} \to \mathcal{X}$ is called **$n$-truncated** if the image of each object of the geometry (for structured (infinity,1)-toposes) $\mathcal{G}$ is an n-truncated object of $\mathcal{X}$.

See derived scheme and derived Deligne-Mumford stack for discussion of examples of $n$-truncated structured $(\infty,1)$-toposes.

Created on September 28, 2009 at 13:08:02. See the history of this page for a list of all contributions to it.