D-completions and the \(d\)-topology (Q1023293): Difference between revisions

This paper deals with a categorical construction for various completions of \(T_0\)-spaces. Following this idea the authors handle intensively what they call a \(D\)-completion and develop its theory by introducing a variant of the Scott topology. This readily yields a completion of a \(T_0\)-space in the category of conditional monotone convergence spaces for which every directed set that is bounded above has a supremum to which it converges. For partial ordered sets the \(D\)-completion turns out to be a natural dcpo-completion. In a ``historical appendix'' of this paper the reader can find a different kind of a catagorical approach to completions. Moreover, the authors also give a note on \(d\)-closed sets in dcpo's which were considered by theoretical computer scientists.