Cantor correlations I. Operator systems and Cantor games

We study no-signalling correlations over Cantor spaces, placing the product of infinitely many copies of a finite non-local game in a unified general setup. We define the subclasses of local, quantum spatial, approximately quantum and quantum commuting Cantor correlations and describe them in terms of states on tensor products of inductive limits of operator systems. We provide a correspondence between no-signalling (resp. approximately quantum, quantum commuting) Cantor correlations and sequences of correlations of the same type over the projections onto increasing number of finitely many coordinates. We introduce Cantor games, and associate canonically such a game to a sequence of finite input/output games, showing that the numerical sequence of the values of the games in the sequence converges to the corresponding value of the compound Cantor game.