The category of \(S\)-posets. (Q2491204): Difference between revisions

Let \(S\) be a pomonoid. A poset \(A\) is called a right \(S\)-poset if \(A_S\) is a right \(S\)-act and the partial order in \(A\) is monotonic in both arguments, that is, \(a\leq b\Rightarrow as\leq bs\) and \(s\leq t\Rightarrow as\leq at\) for all \(a,b\in A_S\), \(s,t\in S\). An \(S\)-poset morphism is an \(S\)-act homomorphism which is order preserving. Some basic limits and colimits, including products, coproducts, equalizers, coequalizers, pullbacks and pushouts are investigated in the category \textbf{Pos-}\(S\), namely, the category of \(S\)-posets. Further, a careful observation on different types of epimorphisms and monomorphisms in this category are given, where the main results are: Theorem 4. For an epimorphism \(g\colon A\to B\) in \textbf{Pos-}\(S\), the following assertions are equivalent: (1) \(g\) is regular; (2) \(g\) is extremal; (3) if \(b\leq b'\) in \(B\), then there exist \(a_1,a_1',\dots,a_n,a_n'\in A\) such that \(b=g(a_1)\), \(a_1\leq a_1'\), \(g(a_1')=g(a_2)\), \(a_2\leq a_2',\dots,a_n\leq a_n'\), \(g(a_n')=b'\); (4) \(g\) is a quotient \(S\)-poset map over \textbf{Set}; (5) \(g\) is a quotient \(S\)-poset map over \textbf{Act-}\(S\). Theorem 7. For a monomorphism \(h\colon A\to B\) in \textbf{Pos-}\(S\), the following assertions are equivalent: (1) \(h\) is regular; (2) \(h\) is extremal; (3) \(h\) is an order-embedding; (4) \(h\) is an \(S\)-poset embedding over \textbf{Set}; (5) \(h\) is an \(S\)-poset embedding over \textbf{Act-}\(S\). In addition, the authors discuss adjoint functors, including the free functor, the forgetful functor, etc. of the category \textbf{Pos-}\(S\) with the categories of sets, posets, and \(S\)-acts. Finally the authors consider projectivity and regular projectitvity of \(S\)-posets and obtain Theorem 29. For any pomonoid \(S\), the regular projective \(S\)-posets are exactly the projective \(S\)-posets.