Exponential law for uniformly continuous proper maps (Q1101736)

All the spaces we consider, unless otherwise mentioned, are metric spaces. A proper map will be a continuous map \(f: X\to Y\) such that for every compact subspace K of Y, \(f^{-1}(K)\) is a compact in X. To abbreviate, we will say that f is a p-map. A u-map is a uniformly continuous map, and a up-map will be a uniformly continuous p-map. A up- isomorphism f is a homeomorphism such that f and \(f^{-1}\) are u-maps. By C(X,Y), \(C_ p(X,Y)\) and \(C_{up}(X,Y)\) we will denote the sets of continuous maps, p-maps and up-maps between X and Y, respectively. With \(C^ U_{up}(X,Y)\) we will represent the space of up-maps with the topology of uniform convergence. In this note we prove that the up-maps follow the exponential law if X is compact; that is, the functors \(X\times (-)\) and \(C^ U_{up}(X,-)\) are adjoint. We also prove that if X is not compact these functors are not generally adjoint. Also the corresponding functors in the homotopy category are considered.