Prefer a chat interface with context about you and your work?
Regular completions of Cauchy spaces via function algebras
A regular completion with the universal property is obtained for each member of a certain class of Cauchy spaces by embedding the Cauchy space in a complete function algebra with the continuous convergence structure.