Following Deane Yang, the answer is a definite `yes' : the map in question is a global diffeo, provided that (a) it is `locally invertible': i.e. its derivative is everywhere invertible, and (b) the domain and range are compact, simply connected, without boundary. Proof: the map must be a covering map (``stack of records theorem'' -- see for example Guillemin and Pollack). But a covering map between simply connected spaces is an isomorphism -- here a diffeo. To make this `non-contrived' take domain and range to be the two-sphere.