 Covering homomorphism

A covering homomorphism is a surjective homomorphism of topological groups whose underlying map is a covering space. Its discrete kernel is the fiber over the identity.