Extending algebraic operations to D-completions (Q418818): Difference between revisions

A \(d\)-completion of a \(T_0\) space (i.e., a monotone convergence space with the usual universal property) can be constructed as a subspace of the sobrification, which in turn can be obtained from the space of all nonempty closed subsets of the original space. The authors consider certain algebraic operations defined on \(T_0\) spaces, as well as various identities and inequalities on such spaces, and investigate how the algebraic structure transfers from the original space to the space of all nonempty closed subsets and finally to the \(d\)-completion. The motivation cited by the authors is to study the cones arising as power domains in probabilistic semantics and potential theory in mathematics. Some results pertaining to cones are given as well as the construction of free algebras. Throughout the article the results are discussed also in the context of dcpos in domain theory. The article is self-contained and contains some interesting concluding remarks of a foundational nature, particularly on dcpos.