Retractable Compact Directed Complete Poset （Acts）  

作　　者：M. Mehdl Ebrahiml Mojgan Mahmoudi Mahdieh Yavari 

机构地区：[1]Department of Mathematics, Shahid Bebeshti University G.C., Tehran 19839, lran

出　　处：《Algebra Colloquium》2017年第4期625-638,共14页代数集刊（英文版）

摘　　要：Taking domains in the one hand and actions of a semigroup （automaton） on the other, as two crucial notions in mathematics as well as in computer science, we consider the notion of compact directed complete poset （acts）, and investigate the interesting notion of absolute retractness for such ordered structures. As monomorphisms and embeddings for domain acts are different notions, we study absolute retractness with respect to both the class of monomorphisms and that of embed- dings for compact directed complete poset （acts）. We characterize the absolutely retract compact dcpos as complete compact chains. Also, we give some examples of compact di- rected complete poset acts which are （g-）absolutely retract （with respect to embeddings） and show that completeness is not a sufficient condition for （g-）absolute retractness.Taking domains in the one hand and actions of a semigroup （automaton） on the other, as two crucial notions in mathematics as well as in computer science, we consider the notion of compact directed complete poset （acts）, and investigate the interesting notion of absolute retractness for such ordered structures. As monomorphisms and embeddings for domain acts are different notions, we study absolute retractness with respect to both the class of monomorphisms and that of embed- dings for compact directed complete poset （acts）. We characterize the absolutely retract compact dcpos as complete compact chains. Also, we give some examples of compact di- rected complete poset acts which are （g-）absolutely retract （with respect to embeddings） and show that completeness is not a sufficient condition for （g-）absolute retractness.

关 键 词：action of a monoid directed complete poset COMPACT absolutely retract 

分 类 号：O1[理学—数学]