Do the sets with two group structures which are coherent in some nontrivial sense appear somewhere in mathematics as appropriate structures to investigate?
If so what are the areas where they appear and what are examples of their use?
Is there some textbooks, articles studying such structures?