  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.
