Answers are grounded in this paper and cite their sources.
The author establishes some necessary and sufficient conditions on a Hausdorff space Y Y which force every open proper map into Y Y to be surjective. Using this result, the author then shows that a local homeomorphism from a path connected space into a simply connected space is a global homeomorphism onto if and only if the map is proper.
No takes yet. Share an insight, caveat, or question.
Chung Wu Ho (1975) studied this question.