Coalgebras on Digital Images

: In this article, we investigate the fundamental properties of coalgebras with coalgebra comultiplications, counits, and coalgebra homomorphisms of coalgebras over a commutative ring R with identity 1 R based on digital images with adjacency relations. We also investigate a contravariant functor from the category of digital images and digital continuous functions to the category of coalgebras and coalgebra homomorphisms based on digital images via the category of unitary R -modules and R -module homomorphisms.


Associative Algebra and Its Dual, Coalgebra
An associative algebra is an algebraic structure with compatible operations of additions, associative multiplications and scalar multiplications by elements in a module or a field. A counital coalgebra is one of the dual notions of the unital associative algebras; see [1] [page 197] and [2] [page 803]. Historically, coalgebras occur as the dual of algebras in [3,4] in the category theoretic approach to dynamical systems and automata. An automaton as a coalgebra was nicely presented and an early proof that the set of formal languages is a final coalgebra was described in [5]. A bisimulation as a notion of behavioural equivalence for concurrent processes and a notion of strong extensionality for the theory of non-well-founded sets were invented in [6][7][8]. The notion of bisimulation was generalized to the level of arbitrary coalgebras in [9]. As a consequence, coalgebra is one of the nice ingredients from mathematics and becomes an extensive field of research.
The axioms of unital associative algebras can be formulated in terms of commutative diagrams in the category-theoretic sense of reversing arrows. In general, it is well known that a coalgebra structure gives rise to an algebra structure. Classically, a coalgebra appears naturally in combinatorics, algebra, and algebraic topology as describing ways one can decompose objects into other objects of the same type. Moreover, a coalgebra occurs naturally in a number of contexts such as a universal enveloping algebra and a group scheme. There are also F-coalgebra structures with important applications in computer science; see [10,11].
One of the classical cohomology algebras is the singular (or simplicial) cohomology algebra whose multiplication is the usual cup product, and its unit is induced from the unique continuous function from a topological space to a one-point space. A graded singular homology module of a Hopf space becomes a graded algebra with a unit element. Moreover, it is well known that, if the homology modules of a Hopf space is free of a finite type, then it is a commutative and associative Hopf algebra over a principal ideal domain, and that the singular homology of a topological space with coefficients in a field has naturally the coalgebra structure whose coalgebra comultiplication and counit are induced by the diagonal map via the Künneth formula and by the unique continuous function from the topological space to a one-point space, respectively, as in the case of cohomology.

Homotopical Viewpoint for a Dual
In classical (or rational) homotopy theory, it is well known that the notion of a (pointed) Hopf space [12][13][14] is one of the Eckmann-Hilton dual concepts of a (pointed) co-Hopf space. Co-Hopf spaces were introduced in [15] and were used to determine whether a pointed CW-space has the same homotopy type of the suspension of another pointed CW-space or not [16] [Theorem A]; see also [17]. The second author has developed the structures of a wedge of (localized) spheres as the co-Hopf spaces with various homotopy comultiplications [18][19][20][21][22][23], and the suspension structure with the standard comultiplication in the sense of same homotopy n-types [24][25][26][27][28]; see also [29,30] for the topics which are related to the fundamental concepts of those CW-spaces, and [31] for the equivariant homotopy theoretic point of view with the behavior of the local cohomology spectral sequence.

Previous Results and Motivation
In the category of topological spaces and continuous maps, a pair (Z, ω) consisting of a space Z and a function ω : where π 1 , π 2 : Z ∨ Z → Z are the first and second projections, respectively, and 1 Z is the identity map on Z. In this case, ω : Z → Z ∨ Z is called a topological comultiplication on the space Z.
Let L Z be the Quillen model of a rational co-Hopf space Z, i.e., a wedge of rational spheres up to homotopy, and let L Z L Z be the Quillen model of Z ∨ Z. Then, there exists a bijection of sets between the set of all homotopy classes of topological comultiplications ω : Z → Z ∨ Z and the set of all homomorphisms ψ : L Z → L Z L Z such that where π 1 , π 2 : L Z L Z → L Z are the first and second projections; see [32] [ Lemma 2.2].
Motivated from the above statements, we raise the following query: Are there any kinds of coalgebra structures based on a digital image to develop its fundamental properties in itself? To give an answer to this query, we try to investigate an R-module homomorphism ϕ : of digital cohomology modules based on a k X -connected digital image (X, k X ) corresponding to the standard homomorphism ψ : L Z → L Z L Z and to the standard topological comultiplication ω : Z → Z ∨ Z via the bijection above. We can thus construct an R-coalgebra with an R-coalgebra comultiplication and an R-coalgebra counit. The coalgebra structure in this paper induces a familiar mathematical structure which is originated from a connected digital image, and offers a method for how to construct the standard coalgebra as the practical links between the algebraic approach and the analysis of digital images.

Digital Images and Our Goals
Digital topological spaces and digital images are highly related to combinatorial topology and computer science, and it mostly deals with the two-dimensional or three-dimensional digital images. Digital topology was first studied in the late 1960s by A. Rosenfeld, and digital surfaces (or digital manifolds) were also developed in the early 1980s and in 1990s by many authors. In particular, the formal and informal definitions of a lot of terms in homotopy and simplicial (co)homology theory based on a digital image on Z 2 or Z 3 with adjacency relations were nicely described in [33][34][35][36][37][38]; see also [22] for digital quasi co-Hopf space, and [39,40] for digital cohomology modules and cone metric spaces.
We need to develop another theory to study digital topological spaces (or digital images) out of classical cohomology theory and digital counterparts of those ideas in classical homology and cohomology theories. In the current paper, we study another consideration of the so-called algebraic approach from the classical cohomology groups. In fact, the current study deals with coalgebras, coalgebra comultiplications, counits, and coalgebra homomorphisms of coalgebras over a commutative ring R with identity 1 R based on digital images with adjacency relations. The functorial properties as one of the digital counterparts to classical cohomology theory originated from the algebraic invariants and their important properties of cohomology modules in classical cohomology theory will be discussed.

Organization
This paper is organized as follows: in Section 2, we briefly review the basic definitions of digital images with adjacency relations and digital continuous functions. We also examine the digital homology and cohomology modules over a commutative ring R with identity based on digital images with some adjacency relations. In Section 3, we consider coalgebras, coalgebra comultiplications, counits, and coalgebra homomorphisms of coalgebras over a commutative ring R with identity 1 R on digital images with adjacency relations, and find out the relationships between the category of digital images and digital continuous functions, the category of digital cohomology R-modules and R-module homomorphisms of digital cohomology R-modules, and the category of coalgebras and coalgebra homomorphisms based on digital images induced by the digital continuous functions between them.

Digital Images and Digital (Co)homology Modules
Let Z be the set of all integers, and let Z n := Z × Z × · · · × Z n−times . For a positive integer u with 1 ≤ u ≤ n, we define an adjacency relation in Z n as follows: Definition 1 ([41]). Two different points p = (p 1 , p 2 , . . . , p n ) and q = (q 1 , q 2 , . . . , q n ) in Z n are said to be k(u, n)-adjacent if • there are at most u distinct indices i with the property |p i − q i | = 1; and • for each positive integer i ≤ n, if |p i − q i | = 1, then p i = q i .
We mostly denote a k(u, n)-adjacency relation on a digital image X (see below) by the k X -adjacency relation for short unless we specifically state otherwise.
A digital image (X, k X ) consists of a bounded and finite subset X of Z n and an adjacency relation k X on X. A digital image (X, k X ) in Z n is said to be k X -connected ( [42,43]) if, for each set {x, y} consisting of two distinct points x and y, there exists a subset consisting of s + 1 distinct points such that of digital images (X, k X ) and (Y, k Y ) with k X -adjacency and k Y -adjacency relations, respectively, is said to be a (k X , k Y )-continuous function if the image of any k X -connected subset of the digital image (X, k X ) under the function f is a k Y -connected subset of (Y, k Y ); see also [43] [Definition 2.3].
is a (k Y , k Z )-continuous function, then it can be shown that the composite is also a (k X , k Z )-continuous function. Therefore, it is possible for us to consider the category D of k-connected digital images and digital continuous functions; that is, the object classes of D are k-connected digital images and the morphism classes are digital continuous functions.
Let e 0 = (1, 0, 0, . . . , 0), e 1 = (0, 1, 0, . . . , 0), . . ., and e n = (0, 0, . . . , 0, 1) be elements of Z n+1 , and let ∆ n := {e 0 , e 1 , . . . , e n } Z n+1 (6) be the digital image in Z n+1 with the k(2, n + 1)-adjacency relation. It can be seen that it is a k(2, n + 1)-connected digital image. Let R be a commutative ring with identity 1 R and let (X, k X ) be a digital image with a k X -adjacency relation. For each n ≥ 0, we denote dC n (X; R) as the non-negatively graded free R-module with a basis consisting of all (k ∆ n , k X )-continuous functions and define the so-called digital boundary operator by where i : ∆ n−1 → ∆ n is the i-th face function; see [45,46] for more details. It can be shown that for all n ≥ 0, and thus Im(∂ n+1 ) is automatically an R-submodule of Ker(∂ n ) for each n ≥ 0. The n-th digital homology module dH n (X; R) over R of a digital image (X, k X ) with a k X -adjacency relation is defined by for each n ≥ 0 [45]; see also [36,47].

Definition 3 ([39]
). The n-th digital cohomology module dH n (X; R) over R of a digital image (X, k X ) is defined to be the corresponding cohomology module over a commutative ring R with identity of the cochain complex obtained by the dual R-modules along with the dual R-module homomorphisms, i.e., dH n (X; R) = Ker(δ n+1 )/Im(δ n ) (12) for all n ≥ 0, where is the so-called digital coboundary operator which is the dual of the digital boundary operator ∂ n : dC n (X; R) → dC n−1 (X; R) for each n ≥ 0.
It can be seen in [39] that, for each digital image (X, k X ), dH n (X; R) has the R-module structure whose scalar multiplications is given bys where 1. r ∈ R; 2.
the second and third bullets '•' in (16) are the scalar multiplications on Ker(δ n+1 ) as an R-submodule of dC n (X; R).
Indeed, as a quotient R-module, dH n (X; R) has the unitary R-module structure because R is a commutative ring with identity; see [39] [Theorem 1] for further details. Let for all a 1 , a 2 , a ∈ A and r ∈ R, where 1.
given by is a contravariant functor for each n ≥ 0.

Coalgebras, Counits, and Coalgebra Homomorphisms
In this section, two digital images (X, k X ) and (Y, k Y ) are always k X -connected and k Y -connected digital images, respectively, so that the 0-th digital cohomology modules of the digital images are just the coefficient rings; that is, Recall that a triple (C, ϕ, ) consisting of an R-module C and R-module homomorphisms and is said to be a coalgebra over a ring R (or an R-coalgebra) if the following diagrams and are strictly commutative. Here, where the bullet multiplications above are coming from the right and left R-module structures on C with scalar multiplications and respectively. The above R-module homomorphism is said to be an R-coalgebra comultiplication on C, and the R-module homomorphism is said to be an R-coalgebra counit. [48,49] for more details.
Let X := (X, x 0 , k X , m X ) and Y := (Y, y 0 , k Y , m Y ) be pointed digital Hopf spaces with digital multiplications m X : X × X → X and m Y : then the digital multiplication m Y provides the graded digital cohomology module {dH n (Y; R) | n ≥ 0} with the structure of coalgebra over the commutative ring R with identity 1 R .

Remark 3.
Since R is a commutative ring with identity 1 R , we have the R-module structure of the tensor product dH n (X; R) ⊗ R dH n (X; R), n ≥ 0 whose scalar multiplication is given by for all [x 1 ] ⊗ R [x 2 ] ∈ dH n (X; R) ⊗ R dH n (X; R), where the second bullet in (29) • : R × dH n (X; R) → dH n (X; R) is the scalar multiplication on the R-module structure of dH n (X; R), n ≥ 0; see the Formula (16).
For a path connected Hopf space Y with a multiplication m : Y × Y → Y, it can be seen that the diagonal map ∆ : Y → Y × Y and the multiplication m : Y × Y → Y induce homomorphisms of classical homology and cohomology modules as follows: × is the homology and cohomology cross products; and • the homology and cohomology modules are free modules of finite ranks.
It is well known in algebraic topology that H * (Y; R) has the structure of an R-algebra withm * , and H * (Y : R) has the structure of an R-coalgebra withm * . Similarly, the algebraic structure arising from the diagonal map ∆ : Y → Y × Y has the coalgebra structure on homology and the algebra structure on cohomology together with the Künneth formula; see [52,53].
Let Rcoal(C) be the set of all R-coalgebra comultiplications on an R-coalgebra C and let |Rcoal(C)| be its cardinality. In general, there exist (infinitely) many types of R-algebra comultiplications on an R-coalgebra C; that is, |Rcoal(C)| ≤ ∞.
We now focus on the development of an R-coalgebra based on a k X -connected digital image (X, k X ). To do so, we define one of the R-coalgebra comultiplications on the direct sum n≥0 dH n (X; R) of digital cohomology modules to construct the R-coalgebra structure on it as follows. Definition 4. Let (X, k X ) be any k X -connected digital image. Then, we define an R-module homomorphism ϕ : for all [x] ∈ n≥0 dH n (X; R), where 1 R is the identity element of the ground ring corresponding to the unique element 1 R ⊗ 1 R of dH 0 (X; R) ⊗ dH 0 (X; R); that is, Indeed, by Remark 3, we can show that 'ϕ' preserves the scalar multiplication and the addition as follows: for all r ∈ R and [x] ∈ n≥0 dH n (X; R) and for all r ∈ R and [x 1 ], [x 2 ] ∈ n≥0 dH n (X; R) and this is similar for the 0-dimensional digital cohomology case. Moreover, we can show that the R-module homomorphism ϕ is indeed an R-coalgebra comultiplication; that is, ϕ ∈ Rcoal( n≥0 dH n (X; R)); see Theorem 1 below.
Let ∆ : Z → Z × Z be the diagonal map. In classical homology and cohomology theories, an element z of H n (Z; R) is said to be a primitive homology class if then an element y of H n (Y; R) is said to be a primitive cohomology class if in H n (Y; R) ⊗ R H n (Y; R). We note that the element [x] ∈ n≥0 dH n (X; R) in Definition 4 looks like a primitive cohomology class. Moreover, it can be seen that the R-module homomorphisms ϕ in Definition 4 and ψ in Remark 4 are completely different from any types of the above homomorphisms∆ * on homology and∆ * on cohomology induced by the diagonal map ∆ : Y → Y × Y on a topological space Y (or even a digital image (X, k X )).
Similarly, we have (44) and by the ring addition on for all r ∈ R and [x] ∈ n≥0 dH n (X; R), where is the ring multiplication on R. By extending the linearity, we can see that ' ' preserves the addition.

Convention.
From now on, we make use of the notation dH * (X; R) to denote the direct sum n≥0 dH n (X; R) of digital cohomology modules; that is, dH * (X; R) := n≥0 dH n (X; R).
We now have the following. Theorem 1. Let (X, k X ) be a k X -connected digital image, and let ϕ : dH * (X; R) → dH * (X; R) ⊗ R dH * (X; R) and : dH * (X; R) → R be the R-module homomorphisms in Definitions 4 and 5, respectively. Then, the triple is an R-coalgebra.
Proof. If n ≥ 1, then we have for all [x] ∈ dH * (X; R). If n = 0, then we obtain satisfying the condition in (22). If n ≥ 1, then we also obtain is the scalar multiplication on a left unitary R-module dH * (X; R). The above Equation (49) shows that the triangle on the right-hand side of (23) is commutative. Similarly, we have for all [x] ∈ dH * (X; R), where is the scalar multiplication on a right unitary R-module dH * (X; R) which is equal to the scalar multiplication on dH * (X; R) as a left unitary R-module in (50) by defining If n = 0, then we have and Indeed, it is possible for us to do so because the ground ring R is commutative. The above Equations (49), (51), (54), and (55) show that the two triangles in (23) are strictly commutative, as required.
We now give an example of the digital cohomology modules of some digital images, and then present another example of an R-coalgebra based on the same digital images as follows.
We note that because there are no digital coboundaries in dimension 0; that is, the module of digital 0-coboundaries in (Y, k Y ) is trivial.   . . , 8} be digital images in Z 2 with 2-adjacency and 4-adjacency relations, respectively, in Example 2. We consider an R-coalgebra comultiplication given by for all [y] ∈ dH * (Y; R) in Definition 4. We also define an R-coalgebra counit dH * (Y;R) : dH * (Y; R) → R to be the Formula (43) in Definition 5. Therefore, it can be seen that the triple has the R-coalgebra structure, and similarly for the digital image (X, k X ), where k X = 2. is said to be an R-coalgebra homomorphism if the following diagrams are strictly commutative.
For digital images (X, k X ) and (Y, k Y ), we let and be R-coalgebra comultiplications on dH * (X; R) and dH * (Y; R), respectively. Let and be R-coalgebra counits on dH * (X; R) and dH * (Y; R), respectively. We note that if is a (k X , k Y )-continuous function, then it can be shown that is a (k ∆ n , k Y )-continuous function. Therefore, by using the linear property, we have an R-module homomorphism of R-modules f : dC n (X; R) → dC n (Y; R) defined by where r σ is an element of the commutative ring R with identity, and the bullets • are the scalar multiplications on the R-modules dC n (X; R) and dC n (Y; R) with the same notation. Let be a (k X , k Y )-continuous function between digital images. Then, we define a map for every y ∈ dC n (Y; R); that is, the following triangle is strictly commutative, where Z is the ring of integers.
be a (k X , k Y )-continuous function. Then, the map given by is an R-module homomorphism, where and y is an element of the kernel of Proof. See [39] [Lemma 2] for further details.
be a (k X , k Y )-continuous function between digital images. Then, the homomorphism induced by f is an R-coalgebra homomorphism.

Proof. It can be shown in [39] [Lemma 2] that
is an R-module homomorphism; that is, f * preserves the scalar multiplication and the addition as follows: and for all [y] ∈ dH * (Y; R).
If n = 0, then we obtain where is the identity automorphism on R.
For the R-coalgebra counits, if n ≥ 1, then we have where is the identity automorphism on R, as required.
be any (k X , k Y )-continuous function between digital images. Then, it can seen that the map is an R-coalgebra homomorphism.
Indeed, if n ≥ 1, then, by Example 2, we obtain for any element [y] of dH * (Y; R). If n = 0, then Similarly, we have as required.
Let A := (A, ϕ A , A ), B := (B, ϕ B , B ) and C := (C, ϕ C , C ) be coalgebras over a commutative ring R with identity 1 R . If and are R-coalgebra homomorphisms, then it can be shown that is also an R-coalgebra homomorphism. Therefore, we can consider the category Coalg R of R-coalgebras and R-coalgebra homomorphisms of R-coalgebras; that is, the class of objects of the category Coalg R consists of R-coalgebras and the class of morphisms of Coalg R consists of R-coalgebra homomorphisms of R-coalgebras.

Corollary 1.
For each object class (X, k X ) in D, the assignment given by is a contravariant functor.

Remark 5.
Let be the covariant functor assigning to each unitary R-module dH * (X; R) the R-coalgebra (dH * (X; R), ϕ dH * (X;R) , dH * (X;R) ) as described in the proof of Corollary 1, and let G : be the forgetful functor, which assigns to each R-coalgebra (dH * (X; R), ϕ dH * (X;R) , dH * (X;R) ) its underlying unitary R-module dH * (X; R) (forgetting the R-coalgebra comultiplication and the R-coalgebra counit). Then, it can be shown that the following triangle (110) is commutative as natural transformations; that is, of (covariant or contravariant) functors.

Conclusions and Applications
In applied mathematics or computer science, digital topology deals with features and properties of digital images in Z n , especially, the two-dimensional or three-dimensional digital images corresponding to the topological features and properties of object classes. In mathematics, coalgebras have the structures that are dual to unital associative algebras in the sense of category theory by reversing objects and arrows as objects classes and morphism classes, respectively.
In this paper, we have investigated some fundamental properties of the coalgebras, coalgebra comultiplications, counits, and coalgebra homomorphisms of coalgebras based on digital images with some adjacency relations. We have explored the functorial properties as one of the digital counterparts to classical cohomology theory originated from the algebraic invariants and their important properties of cohomology modules in classical cohomology theory. We have also developed the relationship between the category of digital images and digital continuous functions, the category of digital cohomology R-modules and R-module homomorphisms of digital cohomology R-modules, and the category of R-coalgebras and R-coalgebra homomorphisms induced by the digital continuous functions.
We have also constructed an R-module homomorphism ϕ : dH * (X; R) → dH * (X; R) ⊗ R dH * (X; R) of digital cohomology modules based on a k X -connected digital image (X, k X ) as an R-coalgebra comultiplication to give dH * (X; R) the R-coalgebra structure on it. We do hope that our results will be applied to the world of Lie algebras and rational homotopy theory to develop the Lie algebra comultiplications based on graded vector spaces.