Groups of binary operations and binary G-spaces

The group of continuous binary operations on a topological space is studied; its relationship with the group of homeomorphisms is established. The category of binary G-spaces and bi-equivariant maps is constructed, which is a natural extension of the category of G-spaces and equivariant maps. Results related to the foundations of the theory of binary G-spaces are obtained.