Covering homomorphism (source code)

= 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.