Completion of semi-uniform spaces (Q2471010)

A semi-uniform space \((X,{\mathcal U})\) is a set \(X\) together with a filter \({\mathcal U}\) of reflexive relations on \(X\) that has a base of symmetric relations. A semi-umiform space \((X,{\mathcal U})\) is a \(t\)-semi-uniform space provided that the closure operation given by \(\text{cl}(A)= \{U(A)\mid U\in{\mathcal U}\}\) is topological. The author considers four ideas of Cauchy filter (all of which coincide with the usual definition of a Cauchy filter in a uniform space) and studies the corresponding complete \(t\)-semi-uniform spaces, in which each Cauchy filter converges. Each of the corresponding classes of Hausdorff complete \(t\)-semi-uniform spaces is epireflective in the category of all Hausdorff \(t\)-semi-uniform spaces and uniformly continuous maps, but the reflection arrows need not be embeddings. Indeed, the author shows that there is no non-trivial epireflective subcategory of the category of all Hausdorff \(t\)-semi-uniform spaces in which all reflection arrows are embeddings. For one of the four notions of completeness, the author defines a completion of a space \(X\) to be a complete \(t\)-semi-uniform space that contains \(X\) as a dense subspace, and shows that each \(t\)-semi-uniform space has a minimal and a maximal completion. Moreover, every uniformly continuous map on a \(t\)-semi-uniform space \(X\) can be extended to a uniformly continuous map onto the maximal completion of \(X\).