Completion via nearness for metrically generated constructs (Q2471005)

The author develops a completion theory for symmetric metrically generated constructs \(\mathbf{C}\) (i.e., constructs whose objects are sets equipped with a collection of pseudometrics satisfying a natural saturation condition) by first defining a concrete functor from \(\mathbf{C}\) into the construct \(\mathbf{R}\) \textbf{Near} of regular nearness spaces and then applying the well known completion theory for \(\mathbf{R}\) \textbf{Near}. This natural approach leads to a firm completion theory for suitable \(\mathbf{C}\), in particular for the constructs \(\mathbf{UAp}\) of uniform approach spaces and \(\mathbf{UG}\) of uniform gauges.