Prefer a chat interface with context about you and your work?
Completions of pre–uniform spaces
In this paper we prove the existence of a completion of a T0-pre-uniform space (X, U), with the property that each Cauchy filter in (X, U) contains a weakly round filter.