algebraic poset

Example Sentences

• "1985 October, Rudolf-E. Hoffmann, The Injective Hull and the 𝒞ℒ-Compactification of a Continuous Poset, Canadian Journal of Mathematics, 37:5, Canadian Mathematical Society, page 833, A poset (P,<) is said to be algebraic if and only if i) P is up-complete, i.e., for every non-empty up-directed subset D,thesupremum operatorname supd exists, ii) for every x∈P, the set K_X:=y∈P|ycompact,y
• "ALG is the category whose objects are algebraic posets and whose morphisms are continuous functions. A structure (D,#92;le#95;D,#92;cup#95;D) where (D,#92;le#95;D) is an algebraic poset and #92;cup#95;D is a binary operation on D which is continuous (in both variables), commutative, associative and absorptive (i.e., d#92;cup#95;Dd#61;d for all d#92;inD) will be called a nondeterministic algebraic poset."
• "It is important to note that we have not assumed an algebraic poset is a cpo. The canonical example of an algebraic poset is #123;A#42;#92;cupA#42;#125;#92;sqrt#123;#125; in the prefix order; this poset enjoys the added condition that every element is compact."
• "The correspondence between primes and occurrences suggests that given an abstract prime algebraic poset, we may construct a behavioural presentation from it."