Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
13430490 | Electronic Notes in Theoretical Computer Science | 2019 | 12 Pages |
Abstract
In this paper, we research further into Z-predistributive and Z-precontinuous posets introduced by Erné. We focus on duality theorems based on the application of Galois connections whenever Z is a closed subset selection. For example, there is a duality between the categories Z-PDG and Z-PDD of all Z-predistributive posets with weakly Zâ³-continuous maps which have a lower adjoint, and maps preserve Z-below relation that have an upper adjoint, respectively, as morphisms. We introduce the concept of Z0-approximating auxiliary relation, and have made a slight improvement on Z-precontinuity, so that there is a generalization of the classical equivalence between domains and auxiliary relations.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Zhenzhu Yuan, Qingguo Li,