SCOTT CLOSED INJECTIVITY AND RETRACTNESS OF DIRECTED COMPLETE POSET ACTS
Keywords:
Dcpo, S-Dcpo, Scott closed embedding, injective object, retractAbstract
Domain theory, which studies directed complete partially ordered sets, was introduced by Scott in the 1970s as a foundation for programming semantics and provides an abstract model of computation, and has grown into a respected field on the borderline between mathematics and computer science.
In this paper, we consider actions of a semigroup (monoid or group) on directed complete posets and study the algebraic notions of injectivity and retractness with respect to Scott closed embeddings in the categories so obtained.
Downloads
Published
2015-06-30
How to Cite
Mahmoudi, M., & Yavari, M. (2015). SCOTT CLOSED INJECTIVITY AND RETRACTNESS OF DIRECTED COMPLETE POSET ACTS. Italian Journal of Pure and Applied Mathematics, 34, 437–448. Retrieved from https://journals.uniurb.it/index.php/ijpam/article/view/6331
Issue
Section
Articoli - Forum Editrice
License
Copyright (c) 2015 Mojgan Mahmoudi, Mahdieh Yavari
This work is licensed under a Creative Commons Attribution 4.0 International License.
L'opera è pubblicata sotto Licenza Creative Commons Attribuzione 4.0 Internazionale (CC-BY)
