Covering maps for locally path-connected spaces
We define Peano covering maps and prove basic properties analogous to classical covers. Their domain is always locally path-connected but the range may be an arbitrary topological space. One of characterizations of Peano covering maps is via the uniqueness of homotopy lifting property for all locally path-connected spaces. Regular Peano covering maps over path-connected spaces are shown to be identical with generalized regular covering maps introduced by Fischer and Zastrow....