Categorical models for equivariant classifying spaces

Abstract

Starting categorically, we give simple and precise models for classifying spaces of equivariant principal bundles. We need these models for work in progress in equivariant 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.