Extending algebraic operations to D-completions (Q418818)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Extending algebraic operations to D-completions
scientific article

    Statements

    Extending algebraic operations to D-completions (English)
    0 references
    0 references
    0 references
    30 May 2012
    0 references
    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.
    0 references
    0 references
    monotone convergence space completion
    0 references
    extension of algebraic operations
    0 references
    extension of identities
    0 references
    dcpo-completion
    0 references
    free algebra constructions
    0 references
    cones
    0 references

    Identifiers