  Local-to-global principles are spread all-around in mathematics. The
classical Cartan-Hadamard Theorem from Riemannian geometry was generalized by
W. Ballmann for metric spaces with non-positive curvature, and by S. Alexander
and R. Bishop for locally convex metric spaces. In this paper, we prove the
Cartan-Hadamard Theorem in a more general setting, namely for spaces which are
not uniquely geodesic but locally possess a suitable selection of geodesics, a
so-called convex geodesic bicombing. Furthermore, we deduce a local-to-global
theorem for injective (or hyperconvex) metric spaces, saying that under certain
conditions a complete, simply-connected, locally injective metric space is
injective. A related result for absolute $1$-Lipschitz retracts follows.
