Natural congruences and isomorphism theorems for directed complete partially ordered sets
Sign Up to like & getrecommendations! Published in 2017 at "Algebra universalis"
DOI: 10.1007/s00012-017-0424-5
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… read more here.
Keywords: isomorphism theorems; ordered sets; partially ordered; natural congruences ... See more keywords
Directed complete poset congruences
Sign Up to like & getrecommendations! Published in 2019 at "Journal of Pure and Applied Algebra"
DOI: 10.1016/j.jpaa.2019.01.003
Abstract: Abstract The study of algebraic properties of ordered structures has shown that their behavior in many cases is different from algebraic structures . For example, the analogues of the fundamental mapping theorem for sets which… read more here.
Keywords: partially ordered; ordered sets; directed complete; dcpo congruences ... See more keywords
Absolute retractness of automata on directed complete posets
Sign Up to like & getrecommendations! Published in 2017 at "Journal of Algebra and Its Applications"
DOI: 10.1142/s0219498817500086
Abstract: The notion of retractness, which is about having left inverses (reflection) for monomorphisms, is crucial in most branches of mathematics. One very important notion related to it is injectivity, which is about extending morphisms to… read more here.
Keywords: complete posets; mathematics; dcpo; absolute retractness ... See more keywords