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, motivated by Cagliari and Mantovani, we have obtained a characterization of injective objects (with respect to the class embeddings in category

We explore the dual version of Gottschalk’s conjecture recently introduced by Capobianco, Kari, and Taati, notion surjunctivity in general. show that surjunctive groups satisfy Kaplansky’s direct finiteness for all fields positive characteristic. By quantifying notions injectivity post-surjectivity cellular automata, we image full topological shift under an injective automaton is a subshift fin...

We give an $\mathrm{SL}\_3$ analogue of the triangular decomposition Kauffman bracket stated skein algebras described by Lê. To any punctured bordered surface, we associate algebra which contains closed webs. These admit natural morphisms associated to splitting surfaces along ideal arcs. explicit basis for and show that are injective describe their images. By a surface edges triangulation, see...

we introduce the class of “right almost v-rings” which is properly between the classes of right v-rings and right good rings. a ring r is called a right almost v-ring if every simple r-module is almost injective. it is proved that r is a right almost v-ring if and only if for every r-module m, any complement of every simple submodule of m is a direct summand. moreover, r is a right almost v-rin...

The axiom of choice ensures precisely that, in ZFC, every set is projective: that is, a projective object in the category of sets. In constructive ZF (CZF) the existence of enough projective sets has been discussed as an additional axiom taken from the interpretation of CZF in Martin-Löf’s intuitionistic type theory. On the other hand, every non–empty set is injective in classical ZF, which arg...

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

Given two graphs G = (VG, EG) and H = (VH , EH), a homomorphism from G to H is a function f : VG → VH such that for every uv ∈ EG, f(u)f(v) ∈ EH . A homomorphism from G to H is referred to as an H-colouring of G and the vertices of H are regarded as colours. The graph H is called the target of the homomorphism. These definitions extend to directed graphs by requiring that the mapping must prese...