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.
26 pages, including an appendix on Boole's inequalities