Starting categorically, we give simple and precise models for classifying spaces of equivariant principal bundles. We need these models for work in progress in equi- variant infinite loop space theory and equivariant algebraic K–theory, but the models are of independent interest in equivariant bundle theory and especially equivariant covering space theory
