While the usual approach using Cauchy sequences is not powerful enough to give completions of uniform spaces in general, if handled appropriately Cauchy sequences suffice for completions of uniform locales. We describe the construction and talk about how this approach might be applied more generally to avoid pathologies when constructing spaces/locales.
|