On digital H-spaces (Q6967197)

This interesting paper studies digital H-spaces.\N\NAs the authors correctly point out, several approaches in classical homotopy theory are often used to turn various geometric, algebraic and analytic problems into homotopy problems by using various algebraic tools. Motivated by this, it is now useful to define the notions of an H-group and an H-space.\N\NAn H-group is a homotopy-theoretic generalization of the concept of a group and is an Eckmann-Hilton dual of a co-H-group. An H-space does not have the axioms of homotopy associativity and homotopy commutativity required of an H-group.\N\NThe subject of digital homotopy theory is a relatively new branch of computer science that adapts concepts from classical homotopy theory to the setting of digital images or digital spaces.\N\NThe subject itself studies and defines invariants that can classify digital images up to digital homotopy equivalence. The authors study algebraic properties of digital H-spaces preserved under digital homotopy equivalence and give a construction that gives examples of digital H-spaces that are not homotopy equivalent to digital topological groups in both categories.\N\NThe authors also show that a construction of theirs classifies all \(\mathrm{NP}_2\)-digital H-spaces.\N\NThe paper is well written with a good set of references.