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.