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 (a...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.展开更多
推广连续D om a in的权的概念到连续偏序集上,探讨连续偏序集的权、相应内蕴拓扑的权、定向完备化的权以及Sm yth幂D om a in的权间的关系。得到了几个等权定理:(1)连续偏序集的权与其上Scott拓扑、L aw son拓扑的权相等;(2)连续偏序集...推广连续D om a in的权的概念到连续偏序集上,探讨连续偏序集的权、相应内蕴拓扑的权、定向完备化的权以及Sm yth幂D om a in的权间的关系。得到了几个等权定理:(1)连续偏序集的权与其上Scott拓扑、L aw son拓扑的权相等;(2)连续偏序集的权与其定向完备化的权相等;(3)无穷连续D om a in的权与其Sm yth幂D om a in的权相等;(4)有限D om a in的权小于或等于它的Sm yth幂D om a in的权。展开更多
文摘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.
文摘推广连续D om a in的权的概念到连续偏序集上,探讨连续偏序集的权、相应内蕴拓扑的权、定向完备化的权以及Sm yth幂D om a in的权间的关系。得到了几个等权定理:(1)连续偏序集的权与其上Scott拓扑、L aw son拓扑的权相等;(2)连续偏序集的权与其定向完备化的权相等;(3)无穷连续D om a in的权与其Sm yth幂D om a in的权相等;(4)有限D om a in的权小于或等于它的Sm yth幂D om a in的权。