SCOTT CLOSED INJECTIVITY AND RETRACTNESS OF DIRECTED COMPLETE POSET ACTS

Authors

  • Mojgan Mahmoudi Shahid Beheshti University - Department of Mathematics
  • Mahdieh Yavari Shahid Beheshti University - Department of Mathematics

Keywords:

Dcpo, S-Dcpo, Scott closed embedding, injective object, retract

Abstract

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.

Cover of n°34 Italian Journal of Pure and Applied Mathematics

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

N°34 - June 2015

Section

Articoli - Forum Editrice

License

Copyright (c) 2015 Mojgan Mahmoudi, Mahdieh Yavari

Creative Commons License

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)

Similar Articles

1 2 > >> 

You may also start an advanced similarity search for this article.