n-truncated structured (infinity,1)-topos

A structured (infinity,1)-topos 𝒪 𝒳:𝒢𝒳\mathcal{O}_{\mathcal{X}} : \mathcal{G} \to \mathcal{X} is called nn-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 nn-truncated structured (,1)(\infty,1)-toposes.

Created on September 28, 2009 13:09:29 by Urs Schreiber (