Sequentially dense essential monomorphisms of acts over semigroups
Unary algebras (08A60) Epimorphisms, monomorphisms, special classes of morphisms, null morphisms (18A20) Representation of semigroups; actions of semigroups on sets (20M30) Connections of semigroups with homological algebra and category theory (20M50) Abstract data types; algebraic specification (68Q65)
Given a subclass \({\mathcal M}\) of all monomorphisms in a category there are three different notions in the literature for calling a morphism \(m\in{\mathcal M}\) essential. The three notions coincide if \({\mathcal M}\) is the class of all monomorphisms. The main contribution of this paper is to provide another interesting class \({\mathcal M}_d\) for which the three notions also coincide. This is the class \({\mathcal M}_d\) of sequentially dense monomorphisms which was first defined and studied by Giuli, Ebrahimi and Mahmoudi for projection algebras. Projection algebras and projection spaces have been introduced by Herrlich, Ehrig and others in order to model algebraic data types and process specifications in Computer Science. Projection algebras can be considered as acts over a special infinite monoid, but in this paper acts over a general semigroup are studied. In addition to the main contribution mentioned above the paper provides a characterization of the \({\mathcal M}_d\)-essential extensions. Unfortunately, no examples are given in the paper for the main definitions and results and it is open whether there are interesting applications to projection algebras, which have motivated the study of the class \(M_d\).
- Essentiality and injectivity relative to sequential purity of acts.
- Characterizing semigroups by sequentially dense injective acts.
- Categorical properties of sequentially dense monomorphisms of semigroup acts
- Regular sub-sequentially dense injective in the category of S-posets.
- Strongly s-dense monomorphisms.
- Algebra in a Grothendieck topos: Injectivity in quasi-equational classes
- Baer criterion for injectivity of projection algebras
- Characterizing semigroups by sequentially dense injective acts.
- Closure operators. I
- Equational compactness in equational classes of algebras
- Equational Compactness of G-Sets
- scientific article; zbMATH DE number 4080886 (Why is no real title available?)
- scientific article; zbMATH DE number 1846783 (Why is no real title available?)
- Injective hulls of acts over left zero semigroups.
- Injective objects and cogenerating sets
- Monoids, acts and categories. With applications to wreath products and graphs. A handbook for students and researchers
- On \(m\)-separated projection spaces
- On ideal closure operators of \(M\)-sets
- On the Baer Criterion for Acts Over Semigroups
- Purity and algebraic compactness for modules
- Purity and equational compactness of projection algebras
- Sequentially injective hull of acts over idempotent semigroups.
- The Injective Envelope of S-Sets
- Quasi-exact sequences of \(S\)-acts
- Characterizing semigroups by sequentially dense injective acts.
- Essentiality in the category of S-acts
- Sequentially complete S-acts and Baer type criteria over semigroups
- Strongly s-dense monomorphisms.
- \(C\)-essentialness and well-behavedness of \(C\)-injectivity in \(\mathbf{Act}\text{-}S\).
- Down closed injectivity and essentialness
- Sequentially dense flatness of semigroup acts.
- Essentiality and injectivity relative to sequential purity of acts.
This page was built for publication: Sequentially dense essential monomorphisms of acts over semigroups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q711374)
