We develop a symmetric monoidal closed category of games, incorporating sums and products, to model quantum computation at higher types. This model is expressive, capable of representing all unitary operators at base types. It is compatible with base types and realizable by unitary operators.

翻译：我们构建了一个对称幺半闭范畴的博弈，其中包含和与积，以模拟高阶类型上的量子计算。该模型具有表达能力，能够表示基类型上的所有酉算子，并且与基类型兼容，且可由酉算子实现。