Groups of binary operations and binary \(G\)-spaces (Q5963954)

This paper is a study on the group of continuous binary operations on a topological space, which is linked to the group of homeomorphisms, in particular. The author constructs a natural extension of the category of \(G\)-spaces and equivariant maps, the category of \(G\)-spaces and bi-equivariant maps. Several results are obtained, and are supported by interesting examples, such as: ``The binary \(G\)-spaces and bi-equivariant maps form a category'' (Theorem 8) and four interesting new problems are suggested.