The universal covering map in o-minimal expansions of groups

In this paper we study locally definable manifolds and we prove: (i) the existence of universal locally definable covering maps; (ii) invariance results for locally definable covering maps, o-minimal fundamental groups and fundamental groupoids; (iii) monodromy equivalence for locally constant o-minimal sheaves; (iv) classification results for locally definable covering maps; (v) o-minimal Hurewicz and Seifert–van Kampen theorems.