Game-enriched categories
summary
Argues that game models should be presented as game-enriched categories (objects = arenas, homs = games whose strategies are morphisms) so different strategy notions (deterministic, nondeterministic, probabilistic, equivariant) arise by change-of-base embeddings rather than rebuilding M×N categories. Shows gbang (forests + deterministic strategies) and its embeddings, and replaces ordinary composition/associativity proofs by composition as single strategy morphisms and equality-of-strategies associativity for each quadruple, cutting repeated construction and proofs.
AI-written summary · about