Cauchy Completion Categories
Darrell C. Kent, Gary D. Richardson · Canadian Mathematical Bulletin · 1989
Abstract A general procedure is introduced for identifying categories of Cauchy spaces which have completions which possess a certain convergence property P, and for constructing completion functors on such categories. These results are applied to obtain a characterization of Cauchy spaces which allow T3 completions, and to construct T3 completions for categories of Cauchy groups and Cauchy lattices.