Definition:Covering Map


 * Definition:Topological Covering Map
 * Definition:Covering Morphism of Groupoid