Quotients of uniform spaces

This paper develops the basic theory of quotients of uniform spaces via sufficiently nice group actions. We generalize and unify two fundamental constructions: quotients of topological groups via closed normal subgroups and quotients of metric spaces via actions by isometries. Basic results about inverse limits of topological groups are extended to inverse limits of group actions on uniform spaces, and notions of prodiscrete action and generalized covering map are introduced.