Isomorphism Theorems for Impartial Combinatorial Games
Abstract
We introduce the category of optiongraphs and option-preserving maps as a model to study impartial combinatorial games. Outcomes, remoteness, and extended nim-values are preserved under option-preserving maps. We show that the four isomorphism theorems from universal algebra are valid in this category. Quotient optiongraphs, including the minimum quotient, provide simplifications that can help in the analysis of games.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.