Morphisms in categories of nonlocal games
arXiv:1810.10074
Abstract
Synchronous correlations provide a class of nonlocal games that behave like functions between finite sets. In this work we examine categories whose morphisms are games with synchronous classical, quantum, or general nonsignaling correlations. In particular, we characterize when morphisms in these categories are monic, epic, sections, or retractions.
arXiv comment26 pages, including an appendix on Boole's inequalities
References in corpus (15)
- Informational derivation of Quantum Theory
- A mathematical theory of resources
- Geometry of the set of quantum correlations
- Estimating quantum chromatic numbers
- Graph Homomorphisms for Quantum Players
- Perfect Commuting-Operator Strategies for Linear System Games
- A synchronous game for binary constraint systems
- Unconditional separation of finite and infinite-dimensional quantum correlations
- Unitary Correlation Sets
- Algebras, Synchronous Games and Chromatic Numbers of Graphs
- The Morita theory of quantum graph isomorphisms
- A Generalization of Kochen-Specker Sets Relates Quantum Coloring to Entanglement-Assisted Channel Capacity
- Oracles and query lower bounds in generalised probabilistic theories
- Operational Theories of Physics as Categories
- Nonlocal games, synchronous correlations, and Bell inequalities