  We develop a universal framework to study smooth higher orbifolds on the one
hand and higher Deligne-Mumford stacks (as well as their derived and spectral
variants) on the other, and use this framework to obtain a completely
categorical description of which stacks arise as the functor of points of such
objects. We choose to model higher orbifolds and Deligne-Mumford stacks as
infinity-topoi equipped with a structure sheaf, thus naturally generalizing the
work of Lurie, but our approach applies not only to different settings of
algebraic geometry such as classical algebraic geometry, derived algebraic
geometry, and the algebraic geometry of commutative ring spectra as in Lurie's
work, but also to differential topology, complex geometry, the theory of
supermanifolds, derived manifolds etc., where it produces a theory of higher
generalized orbifolds appropriate for these settings. This universal framework
yields new insights into the general theory of Deligne-Mumford stacks and
orbifolds, including a representability criterion which gives a categorical
characterization of such generalized Deligne-Mumford stacks. This specializes
to a new categorical description of classical Deligne-Mumford stacks, a result
sketched in previous work of the author, which extends to derived and spectral
Deligne-Mumford stacks as well.
