Quantum Semigroups from Synchronous Games

We show that the C*-algebras associated with synchronous games give rise to certain quantum families of maps between the input and output sets of the game. In particular situations (e.g. for graph endomorphism games) these quantum families have a natural quantum semigroup structure and if the condition of preservation of a natural state is added, they are in fact compact quantum groups.