‎for the subclasses ${mathcal m}_1$ and ${mathcal m}_2$ of‎‎monomorphisms in a concrete category $mathcal c$‎, ‎if ${mathcal‎‎m}_2subseteq {mathcal m}_1$‎, ‎then ${mathcal m}_1$-injectivity‎‎implies ${mathcal m}_2$-injectivity‎. ‎the baer type criterion is about‎ ‎the converse of this fact‎. ‎in this paper‎, ‎we apply injectivity to the classes of {it $c$-dense‎, ‎$c$-closed}‎ ‎monomorphisms‎. ...

‎‎‎in this paper‎, ‎the‎ notion of injectivity with respect to order dense embeddings in ‎‎the category of $s$-posets‎, ‎posets with a monotone action of a‎ pomonoid $s$ on them‎, ‎is studied‎. ‎we give a criterion‎, ‎like the baer condition for injectivity of modules‎, ‎or skornjakov criterion for injectivity of $s$-sets‎, ‎for the order dense injectivity‎. ‎also‎, ‎we consider such injectivit...

‎For the subclasses $mathcal{M}_1$ and $mathcal{M}_2$ of‎ ‎monomorphisms in a concrete category $mathcal{C}$‎, ‎if $mathcal‎{M}_2subseteq mathcal{M}_1$‎, ‎then $mathcal{M}_1$-injectivity‎ ‎implies $mathcal{M}_2$-injectivity‎. ‎The Baer type criterion is about‎ ‎the converse of this fact‎. ‎In this paper‎, ‎we apply injectivity to the classes of $C$-dense‎, ‎$C$-closed‎ ‎monomorphisms‎. ‎The con...

It is known that injective Cellular Automata (CA) are surjective. In general, the converse is not true, and there are many algebraic CA counterexamples. However, there are interesting subclasses where this might be true. For example, if a surjective CA has entropy 0 then it is almost injective (Moothathu (2011)) and it is not known if it is actually injective. The author believes there are some...

1.1. Injective resolutions. Let C be an abelian category. An object I ∈ C is injective if the functor Hom(−, I) is exact. An injective resolution of an object A ∈ C is an exact sequence 0→ A→ I → I → . . . where I• are injective. We say C has enough injectives if every object has an injective resolution. It is easy to see that this is equivalent to saying every object can be embedded in an inje...

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 ...

In a different approach, Hedlund [4], Sears [13], and Ryan [12] defined the shift dynamical system and investigated the properties of the continuous transformations which commute with the shift transformations, and showed many interesting results in one-dimensional tessellation spaces. Hedlund conjectured that in some sense, the set A of all parallel maps which are injective on the set C of all...