Prefer a chat interface with context about you and your work?
On the natural completion functor for Cauchy spaces
The natural completion functor on the category of cλ-embedded Cauchy spaces induces a completion functor on a category of sequential Cauchy spaces which preserves sequential regularity.