Topological group-groupoids and their coverings (Q2369361)

A topological space endowed with continuous operations that form a Brandt groupoid is called a topological groupoid. If the group operations on a topological groupoid are continuous homomorphisms of the Brandt groupoid then we say that it is a topological group-groupoid. For a topological group \(X\), let \(UTGCov(X)\) denote the full subcategory of the comma category of topological groups over \(X\) formed by all universal covering maps into \(X\). Let \(\pi_1X\) denote the fundamental groupoid determined by \(X\). Define \(UTGGdCov(\pi_1X)\) as the full subcategory of the comma category of topological group-groupoids over \(\pi_1X\) formed by all universal covering maps into \(\pi_1X\). It is proved that the categories \(UTGCov(X)\) and \(UTGGdCov(\pi_1X)\) are equivalent. Further, any universal covering map from a transitive topological groupoid \(G'\) into a transitive topological group \(G\) lifts the topological group structure to \(G'\).