Natural congruences and isomorphism theorems for directed complete partially ordered sets (Q509532)

It was shown by \textit{T. S. Blyth} and \textit{M. F. Janowitz} in [Residuation theory. Oxford etc.: Pergamon Press. (1972; Zbl 0301.06001)] that an equivalence \(R\) on an ordered set is a congruence, i.e. the quotient structure is an ordered set again, if and only if \(R\) is convex. Directed complete partially ordered sets play an important role in domain theory but a description of congruences for them was not yet developed. The aim of the paper is to characterize natural congruences on completely partially ordered sets and to show that kernels of their join-preserving maps are not necessarily natural congruences. Join-preserving maps whose kernels are natural congruences are characterized. Decomposition and isomorphism theorems for these maps are proved.