Games as recursive coalgebras: A categorical view on the Nim-sum

Ryuya Hora

In 1901, Bouton proved that a winning strategy of the game of Nim is given by the bitwise XOR, called the nim-sum. But, why does such a weird binary operation work? Led by this que…