The category of S-posets.

Ordered semigroups and monoids (06F05) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Limits and colimits (products, sums, directed limits, pushouts, fiber products, equalizers, kernels, ends and coends, etc.) (18A30) Groupoids, semigroupoids, semigroups, groups (viewed as categories) (18B40) Connections of semigroups with homological algebra and category theory (20M50)

Review text

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.

Recommendations

Cited in

(77)

This page was built for publication: The category of \(S\)-posets.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2491204)