  The theory of cellular automata in operational probabilistic theories is
developed. We start introducing the composition of infinitely many elementary
systems, and then use this notion to define update rules for such infinite
composite systems. The notion of causal influence is introduced, and its
relation with the usual property of signalling is discussed. We then introduce
homogeneity, namely the property of an update rule to evolve every system in
the same way, and prove that systems evolving by a homogeneous rule always
correspond to vertices of a Cayley graph. Next, we define the notion of
locality for update rules. Cellular automata are then defined as homogeneous
and local update rules. Finally, we prove a general version of the wrapping
lemma, that connects CA on different Cayley graphs sharing some small-scale
structure of neighbourhoods.
