‎ In the present article‎, ‎we study some categorical properties of the category {$bf‎ Cpo_{Sep}$-$S$} of all {separately strict $S$-cpo's}; cpo's equipped with‎ a compatible right action of a separately strict cpo-monoid $S$ which is‎ strict continuous in each component‎. ‎In particular‎, we show that this category is reflective and coreflective in the‎ category of $S$-cpo's‎, ‎find the free a...

Let 〈P,≤〉 be a partially ordered set. We define the poset Boolean algebra of P , and denote it by F (P ). The set of generators of F (P ) is {xp : p ∈ P}, and the set of relations is {xp ·xq = xp : p ≤ q}. We say that a Boolean algebra B is well-generated, if B has a sublattice G such that G generates B and 〈G,≤G〉 is well-founded. A wellgenerated algebra is superatomic. Theorem 1 Let 〈P,≤〉 be a...

Partially ordered sets are investigated from the point of view of Bishop’s constructive mathematics. Unlike the classical case, one cannot prove constructively that every nonempty bounded above set of real numbers has a supremum. However, the order completeness of R is expressed constructively by an equivalent condition for the existence of the supremum, a condition of (upper) order locatedness...

The aim of this paper is to establish a fuzzy version of the dualitybetween domains and completely distributive lattices. All values aretaken in a fixed frame $L$. A definition of (strongly) completelydistributive $L$-ordered sets is introduced. The main result inthis paper is that the category of fuzzy domains is dually equivalentto the category of strongly completely distributive $L$-ordereds...