The author develops 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 uses this framework to obtain a completely categorical description of which stacks arise as the functor of points of such objects.