Covering group theory for compact groups

We present a covering group theory (with a generalized notion of cover) for the category of compact connected topological groups. Every such group G has a universal covering epimorphism image in this category. The abelian topological group image is a new invariant for compact connected groups distinct from the traditional fundamental group. The paper also describes a more general categorial framework for covering group theory, and includes some examples and open problems.