The category of monoid actions in Cpo.

MaRDI QIDQ281082zbMATH OpenFDO

Authors Mojgan Mahmoudi, Halimeh Moghbeli Damaneh

Publication date 10 May 2016

Published in Bulletin of the Iranian Mathematical Society (Search for Journal in Brave)

Full work available at URL http://bims.iranjournals.ir/article_595_70.html

zbMATH Keywords

cofree actscoproductsdirected complete partially ordered setsdirected complete pomonoidsfree actsmonoid actionsproducts

Mathematics Subject Classification ID

Ordered semigroups and monoids (06F05) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) Representation of semigroups; actions of semigroups on sets (20M30) Connections of semigroups with homological algebra and category theory (20M50)

Review text

Let \(S\) be a directed complete pomonoid (dcpo). A dcpo which has a bottom element is said to be a cpo. \(\mathbf{Cpo}\) denotes the category of all cpos with cpo maps between them and \(\mathbf{Cpo}_{\mathbf{Act}\text{-}S}\) the category of all cpo \(S\)-acts, cpos equipped with actions of a monoid \(S\) on them and strict continuous action-preserving maps between them. It is proved for \(\mathbf{Cpo}_{\mathbf{Act}\text{-}S}\) that: 1) the products are Cartesian products with componentwise actions and order, 2) coproducts are coalesced sums (unions of components amalgamated by the bottom elements), 3) free and cofree cpo \(S\)-acts over a cpo exist, 4) \(\mathbf{Cpo}_{\mathbf{Act}\text{-}S}\) is not Cartesian closed, 5) monomorphisms are exactly one-to-one cpo \(S\)-maps, 6) an epimorphism is onto if and only if its image is a Scott-closed subset, 7) \(\mathbf{Cpo}_{\mathbf{Act}\text{-}S}\) is complete and cocomplete.

Recommendations

• The categories of actions of a dcpo-monoid on directed complete posets.
• Free and cofree acts of dcpo-monoids on directed complete posets.
• The category of \(S\)-posets.
• Characterizing monomorphisms of actions on directed complete posets (S-dcpo)
• Actions of a separately strict cpo-monoid on pointed directed complete posets

Cited in

(10)

• Are chain-complete posets co-wellpowered?
• Cogalois and strongly Cogalois actions.
• Free and cofree acts of dcpo-monoids on directed complete posets.
• The categories of actions of a dcpo-monoid on directed complete posets.
• Actions of a separately strict cpo-monoid on pointed directed complete posets
• ON CATEGORIES OF MONOID-ACTIONS
• Retractable compact directed complete poset (acts)
• The symmetric monoidal closed category of cpo M-sets
• Injectivity of directed complete poset acts
• Characterizing monomorphisms of actions on directed complete posets (S-dcpo)

This page was built for publication: The category of monoid actions in \(\mathbf{Cpo}\).

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