Photo from archive.org
Directed complete partially ordered sets (dcpos, for short) play an important role in domain theory. The aim of this paper is to characterise natural congruences of dcpos. We also show… Click to show full abstract
Directed complete partially ordered sets (dcpos, for short) play an important role in domain theory. The aim of this paper is to characterise natural congruences of dcpos. We also show that the kernels of dcpo maps, that is, directed join-preserving maps between dcpos are not necessarily natural dcpo congruences. Then we characterise dcpo maps whose kernels are natural dcpo congruences. Finally, we prove the Decomposition and Isomorphism Theorems for dcpo maps.
Keywords:
isomorphism theorems;
ordered sets;
partially ordered;
natural congruences;
complete partially;
directed complete
Journal Title: Algebra universalis
Year Published: 2017
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!
Journal Title: Algebra universalis
Year Published: 2017
Link to full text (if available)
Share on Social Media: Sign Up to like & get
recommendations!