Completion of Semi-uniform Spaces

Abstract

The category of all Hausdorff complete t-semi-uniform spaces is shown to be epireflective in the category of all Hausdorff t-semi-uniform spaces but the reflection arrows need not be embeddings since there is no nontrivial epireflective subcategory of the category of all Hausdorff t-semi-uniform spaces in which all reflection arrows are embeddings (t-semi-uniform spaces are those semi-uniform spaces inducing a topology). On the other hand for every t-semi-uniform space X there exist a minimal and a maximal completion containing X as a dense subspace. The second one is an almost reflection in complete spaces, i.e., every uniformly continuous mapping on X to a complete semi-uniform space can be extended (as a uniformly continuous map) onto the completion.