A completion functor for Cauchy groups

Abstract

A completion functor is constructed on the category of completely normal Cauchy groups and Cauchy-continuous homomorphisms. A competion functor is also obtained for a corresponding category of convergence groups.

Keywords

• completion functor
• Cauchy group
• pre-Cauchy group
• completely normal Cauchy group
• convergence group.