Differential structures of games

Trigger

Hora, Games as recursive coalgebras の Question 5.1 と公式 Problems 5.0.3 にある公開問題を、issue #43 の下書き17/Nから移した。同論文は、Conway addition の moves が Leibniz rule に似た式を満たし、nim-sum と $\operatorname{mex}$ の再帰式が Rota--Baxter equation に似ることを指摘している。

Idea

impartial game を finite-powerset functor $\mathcal P_{\mathrm f}$ の recursive coalgebra として扱う定式化の中で、「ゲームの微分構造」を直接定義したい。特に、Conway addition に関する Bouton monoid $B_{v,+}$ と、その game value $G_X:X\to B_{v,+}$ を生む recursion を対象とする。

求めたい構造は、少なくとも次の三つを同時に説明する必要がある。

1. Conway addition の move map が満たす Leibniz 型の分解

   $$\theta_{X+Y}(x,y) =\theta_X(x)\times\{y\}\;\cup\;\{x\}\times\theta_Y(y),$$

2. $\mathcal P_{\mathrm f}$-algebra $\beta$ から誘導される Bouton monoid の Rota--Baxter 型の式

   $$\beta(S)\mathbin{\circledast}\beta(T) =\beta\bigl(S\mathbin{\circledast}\beta(T) \cup\beta(S)\mathbin{\circledast}T\bigr),$$

3. nim-sum と $\operatorname{mex}$ の古典的な再帰式が、この構造の具体例として回収されること。

Known partial structure

公開論文は、Bouton monoid が $\mathcal P_{\mathrm f}$-algebraから誘導される場合に上の Rota--Baxter 型の式が成り立つことを、Question 5.1直後の命題として証明している。したがって「微分構造」は白紙ではなく、Leibniz 型の move decomposition と Rota--Baxter 型の integration law を結ぶ概念を同定する問題である。

categorical differential category や coalgebra modality の一般論は比較候補になる。ただし、その deriving transformation が recursive-coalgebra category $\mathbf{Game}$ や Bouton monoid の式をそのまま与えるとは、確認した公開資料からは言えない。

この問いは、Conway addition の右随伴を具体化する internal-hom 問題（瓶 g6c8vx）とは異なる。こちらが問うのは、加法の moves と game-value recursion に現れる Leibniz / Rota--Baxter 型構造である。

Goal

上の二つの式を一つの categorical / coalgebraic structure の公理から導き、nim-sum の再帰計算をその普遍的な具体例として説明する。その後、同じ構造が Conway addition 以外の game-sum と Bouton monoid、さらに一般の recursive coalgebra に移植できる条件を特定する。

Personal context

これは洞の combinatorial games と recursive coalgebras の研究から直接生じた公開問題である。抽象的に存在する Bouton monoidを具体的に計算するための「missing piece」として、公開論文自身が位置づけている。

References

• Ryuya Hora, Games as recursive coalgebras: A categorical view on the Nim-sum (arXiv:2510.22886)
• Ryuya Hora, Problems 5.0.3
• Blute--Cockett--Pacaud Lemay--Seely, Differential Categories Revisited (arXiv:1806.04804)

@misc{sumire:2610.00003:6:v1,
  author = {hora},
  title = {{Differential structures of games}},
  year = {2026},
  note = {SUMIRE:2610.00003/6, v1},
  url = {https://sumire.aiformath.jp/p/2610.00003/n/6/v/1}
}