We find the injective hulls of partially ordered monoids in the category whose objects are po-monoids and submultiplicative order-preserving functions. These injective hulls are with respect to a special class of monics called “embeddings”. We show as well that the injective objects with respect to these embeddings are precisely the quantales.

‎in this paper some properties of weak regular injectivity for $s$-posets‎, ‎where $s$ is a pomonoid‎, ‎are studied‎. ‎the behaviour‎ ‎of different kinds of weak regular injectivity with products‎, ‎coproducts and direct sums is considered‎. ‎also‎, ‎some‎ ‎characterizations of pomonoids over which all $s$-posets are of‎ ‎some kind of weakly regular injective are obtained‎. ‎further‎, ‎we‎ ‎giv...

Characterisations of those separable C∗-algebras that have type I injective envelopes or W∗-algebra injective envelopes are presented. An operator system I is injective if for every inclusion E ⊂ F of operator systems each completely positive linear map ω : E → I has a completely positive extension to F . An injective envelope of an operator system E is an injective operator system I such that ...

Minimality ranks in the style of Deissler are one way of measuring the structural complexity of minimal extensions of first-order structures. In particular, positive Deissler rank measures the complexity of the injective envelope of a module as an extension of that module. In this paper we solve a problem of the second author by showing that certain injective envelopes have the maximum possible...

We prove that every first-order formula that is invariant under quasi-injective bisimulations is equivalent to a formula of the hybrid logic H{↓}. Our proof uses a variation of the usual unravelling technique. We also briefly survey related results, and show in a standard way that it is undecidable whether a first-order formula is invariant under quasi-injective bisimulations.

Let G be a residually finite group and let A be a finite set. We prove that if X ⊂ A is a strongly irreducible subshift of finite type containing a periodic configuration then periodic configurations are dense in X. The density of periodic configurations implies in particular that every injective endomorphism of X is surjective and that the group of automorphisms of X is residually finite. We a...

Let $mathcal{X}$ be a class of $R$-modules‎. ‎In this paper‎, ‎we investigate ;$mathcal{X}$-injective (projective) and DG-$mathcal{X}$-injective (projective) complexes which are generalizations of injective (projective) and DG-injecti‎‎ve (projective) complexes‎. ‎We prove that some known results can be extended to the class of ;$mathcal{X}$-injective (projective) and DG-$mathcal{X}$-injective ...

let $mathcal{x}$ be a class of $r$-modules‎. ‎in this paper‎, ‎we investigate ;$mathcal{x}$-injective (projective) and dg-$mathcal{x}$-injective (projective) complexes which are generalizations of injective (projective) and dg-injecti‎‎ve (projective) complexes‎. ‎we prove that some known results can be extended to the class of ;$mathcal{x}$-injective (projective) and dg-$mathcal{x}$-injective ...