Isomorphism theorems for impartial combinatorial games

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.