Extending algebraic operations to D-completions (Q418818): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
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. | |||
Property / review text: 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. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Ittay Weiss / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 06B35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6039192 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
monotone convergence space completion | |||
Property / zbMATH Keywords: monotone convergence space completion / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
extension of algebraic operations | |||
Property / zbMATH Keywords: extension of algebraic operations / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
extension of identities | |||
Property / zbMATH Keywords: extension of identities / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
dcpo-completion | |||
Property / zbMATH Keywords: dcpo-completion / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
free algebra constructions | |||
Property / zbMATH Keywords: free algebra constructions / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
cones | |||
Property / zbMATH Keywords: cones / rank | |||
Normal rank |
Revision as of 21:12, 29 June 2023
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
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
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