structures in a cohesive (∞,1)-topos
This is in contrast to the notion of moduli space, which is only about equivalence classes of structures and loses the information about the gauge equivalences/ automorphism groups of these structures.
Notice that every stack is the moduli stack of something and in fact in general of different things at the same time (see below). So to some extent saying “moduli stack” is redundant. It is usually used to indicate, roughly, that there are some spaces/stacks that one is working on/over, and then there are apart from this stacks, the moduli stacks, that one is mapping into.
This distinction however easily disappears. For instance a historically famous moduli stack is the moduli stack of elliptic curves which started out as an object used to classify bundles of elliptic curves over other spaces. Later in the study of elliptic cohomology and tmf the “moduli stack” of elliptic curves came to be regarded as a space interesting in itself for the geometry on it, specifically since this is naturally a derived algebraic geometry.
Analogous comments apply to other moduli stacks. For instance for a topological group, the moduli stack for topological -principal bundles is itself interesting for its own geometry. Notably it is the base stack of the universal principal bundle which as such may be equipped with differential geometry such as a connection on a bundle etc.
Generally, what one needs for a stack to classify bundles in this way is a universal bundle over it, for then what the stack modulates are precisely the pullbacks of this universal bundle. A stack with a prescribed universal bundle over it may be regarded as a stack equipped with an atlas.
In conclusion then “moduli stack” pretty much means “stack” or more precisely “stack with specified universal bundle over it or atlas into it”, with the implicit implication that we say “moduli stack” to indicate that we care about pulling back that atlas/bundle along maps into the stack.
Then every Lie group is canonically a group object in – a “group stack” – and its delooping in produces a stack denoted . This is simply the (stackification of) the Lie groupoid with a single object and worth of automorphisms on this object.
are the same as smooth -principal bundles over . More precisely the groupoid of smooth -principal bundles and smooth gauge transformations between them is canonically equivalent to the hom-groupoid of maps from to :
This is discussed in some detail at principal bundle.