Abstract
The localic completion of a metric space induces a canonical notion of continuous map between metric spaces. It is shown that these maps are continuous in the sense of Bishop constructive mathematics, i.e., uniformly continuous near every compact image.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have