Completion via nearness for metrically generated constructs

DOI10.1007/S10485-006-9035-6MaRDI QIDQ2471005zbMATH OpenOpenAlexFDO

Publication date 18 February 2008

Published in Applied Categorical Structures (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10485-006-9035-6

completion firm reflection metrically generated construct nearness space

Special categories (18B99) Topological spaces and generalizations (closure spaces, etc.) (54A05) Categorical methods in general topology (54B30) Nearness spaces (54E17) Complete metric spaces (54E50)

Review text

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.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Completion via nearness for metrically generated constructs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2471005)