On Posets whose Products are
نویسنده
چکیده
If P is an upper semilattice whose Hasse diagram is a tree and whose cartesian powers are Macaulay, it is shown that Hasse diagram of P is actually a spider in which all the legs have the same length.
منابع مشابه
Properties of products for flatness in the category of $S$-posets
This paper is devoted to the study of products of classes of right $S$-posets possessing one of the flatness properties and preservation of such properties under products. Specifically, we characterize a pomonoid $S$ over which its nonempty products as right $S$-posets satisfy some known flatness properties. Generalizing this results, we investigate products of right $S$-posets satisfying Condi...
متن کاملOn Posets whose Products are Macaulay
If P is an upper semilattice whose Hasse diagram is a tree and whose cartesian powers are Macaulay, it is shown that Hasse diagram of P is actually a spider in which all the legs have the same length.
متن کاملActions of a separately strict cpo-monoid on pointed directed complete posets
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...
متن کاملLinear Discrepancy of Chain Products and Posets with Bounded Degree
The linear discrepancy of a poset P , denoted ld(P ), is the minimum, over all linear extensions L, of the maximum distance in L between two elements incomparable in P . With r denoting the maximum vertex degree in the incomparability graph of P , we prove that ld(P ) ≤ ⌊(3r − 1)/2⌋ when P has width 2. Tanenbaum, Trenk, and Fishburn asked whether this upper bound holds for all posets. We give a...
متن کاملThe Convex Powerdomain in a Category of Posets Realized by CPOs
We construct a powerdomain in a category whose objects are posets of data equipped with a cpo of \intensional" representations of the data, and whose morphisms are those monotonic functions between posets that are \realized" by continuous functions between the associated cpos. The category of cpos is contained as a full subcategory that is preserved by lifting, sums, products and function space...
متن کامل