We give a constructive characterization of morphisms between open sublocales of localic completions of locally compact metric (LCM) spaces, in terms of continuous functions. The category of open subspaces of LCM spaces is thereby shown to embed fully faithfully into the category of locales (or formal topologies).