×

zbMATH — the first resource for mathematics

The completion monad and its algebra. (English) Zbl 0572.54008
Let C represent the completion functor discussed by O. Wyler [TOPO 72 - General Topology Appl., Lect. Notes Math. 378, 591-637 (1974; Zbl 0307.54003)] and the author [Math. Colloq., Univ. Cape Town 8, 55-61 (1973; Zbl 0268.54026)]. There is a monad associated with C and it is natural to ask for a characterization of the C-algebras. We show that the C-algebras are the complete spaces.

MSC:
54B30 Categorical methods in general topology
PDF BibTeX XML Cite
Full Text: EuDML