Dice Question Streamline Icon: https://streamlinehq.com

Define morphisms to form a category of simple games

Construct a well-defined category of simple games by identifying and justifying an appropriate notion of morphisms between games that aligns with the categorical structure of simplicial complexes.

References

Simplicial complexes form a category and its objects correspond to simple games, but, as discussed right before the statement of Theorem 4.5, it is not immediately obvious what the morphisms on the simple game side ought to be.

The topology of simple games (Volic et al., 16 Mar 2025) in Section 6 (Further work)