Extending algebraic operations to D -completions
In this article, we show how separately continuous algebraic operations on T0-spaces and the laws that they satisfy, both identities and inequalities, can be extended to theD-completion, that is, the universal monotone convergence space completion. Indeed we show that the operations can be extended to the lattice of closed sets, but in this case it is only the linear identities that admit extension. Via the Scott topology, the theory is shown to be applicable to dcpo-completions of posets. We also explore connections with the construction of free algebras in the context of monotone convergence spaces. © 2011 Elsevier B.V. All rights reserved.
Publication Source (Journal or Book title)
Theoretical Computer Science
Keimel, K., & Lawson, J. (2012). Extending algebraic operations to D -completions. Theoretical Computer Science, 430, 73-87. https://doi.org/10.1016/j.tcs.2011.02.015