حلیمه مقبلی

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.