Semicoverings: a generalization of covering space theory (Q2429546)

The paper introduces semicoverings as a new generalization of classical coverings. A semicovering map is a local homeomorphism which admits continuous lifts of paths and homotopies. Additionally, lifts are required to continuously depend on the original map with respect to the compact-open topology. The author develops basic properties of semicoverings and describes standard constructions as motivated by the classical theory of coverings. Many definitions, constructions and results are expressed in the language of category theory. The main result is the classification of semicoverings by induced covering morphisms (as functors on groupoids) for locally wep-spaces.