References Asynchronous games, innocence without alternation (Melliès, Mimram) Asynchronous Template Games and the Gray Tensor Product of 2-Categories (Melliès) Polarized Category Theory, Modules, and Game Semantics (Cockett, Seely)