Survey: Differential structures of games as recursive coalgebras

3-line Summary

• Hora の公開論文は Question 5.1 で、Conway addition に関する Bouton monoid の「differential structures」が recursive-coalgebraic formulation にどう現れるかを問う。公式 Problems 5.0.3 にも同じ問いが掲載されている。
• 同論文は直後に部分解を与え、Bouton monoid が $\mathcal P_{\mathrm f}$-algebraから誘導される場合の Rota--Baxter equation を証明している。したがって問題は、既知の式を説明し一般化する構造の同定である。
• differential categories は Leibniz rule と coalgebra modality を扱う有力な比較対象だが、games の move map や Bouton monoid への直接適用は未確認である。

Current public status

• arXiv:2510.22886 v3（2025-11-14）と現行の公式 Problems ページで公開問題として確認した。
• 論文が明記する部分解を瓶本文へ含めたため、「微分構造が全く分からない」とは記述しない。
• issue下書きにある準備中の共同研究については、公開版の内容を確認できていないため、本サーベイの根拠には用いない。

1. Hora, Games as recursive coalgebras

書誌情報

• Ryuya Hora, Games as recursive coalgebras: A categorical view on the Nim-sum, arXiv:2510.22886, v3, 2025.
• https://arxiv.org/abs/2510.22886

一致した概念

• impartial games を $\mathcal P_{\mathrm f}$-coalgebrasから得られる recursive coalgebras として扱い、game values を recursive calculation として定式化する。
• Conway addition の move map は、積の Leibniz rule と同形の二項分解を持つ。
• nim-sum と $\operatorname{mex}$ の再帰式を、Rota--Baxter equation の類似として読む。
• Question 5.1 は、この「differential structures」を formulation 内で同定することを問う。
• 直後の命題は、Bouton monoid が $\mathcal P_{\mathrm f}$-algebra $\beta$ から誘導されるという仮定の下で、monoid product と $\beta$ が Rota--Baxter 型の式を満たすことを示す。

関係の種類

問題の直接の出典、既知の部分解、研究を進める際の最低要件。

根拠の強さ

Question 5.1 と、その直後の命題・証明に基づく定理レベルの直接的な一致。

確信度

高い。問いと部分解は公開TeX原文で確認した。「どの既存の differential doctrine が正解か」は論文でも未確定である。

次のアクション

move map $\theta$、fold $\beta$、Bouton function $G$、monoid product $\circledast$ の型を一枚に並べ、必要な naturality と Leibniz / Rota--Baxter axioms を最小化する。

2. Blute--Cockett--Pacaud Lemay--Seely, Differential Categories Revisited

書誌情報

• R. F. Blute, J. R. B. Cockett, J.-S. Pacaud Lemay, R. A. G. Seely, Differential Categories Revisited, Applied Categorical Structures 28 (2020), 171--235.
• arXiv:1806.04804: https://arxiv.org/abs/1806.04804

一致した概念

• differential categories を deriving transformation と coalgebra modality によって定式化し、categorical Leibniz rule を扱う。
• Rota--Baxter algebras が non-monoidal coalgebra modality を持つ differential category の例を与える。
• games論文の「differential part / integral part」と Leibniz / Rota--Baxter の対比を検査するための既存語彙を提供する。

関係の種類

関連する一般理論。Bouton monoid の構成や recursive games の Question 5.1 への直接回答ではない。

根拠の強さ

abstract と本文の一般定義・例との概念的一致。対象圏と構造の対応付けはまだ推論段階である。

確信度

中。比較対象としての関連は明確だが、$\mathbf{Game}$ に必要な coalgebra modality や deriving transformation が存在するかは未確認である。

次のアクション

同論文の differential category axiomsを、$\mathbf{Game}$ の Conway addition と finite-powerset recursion に型付けできるか一項目ずつ照合する。型が合わない場合は、Bouton monoid側の Rota--Baxter object を相対的に定義する。

Relation to Hora themes

使った検索語と検索先

• "Games as recursive coalgebras" "differential structures"
• "Question 5.1" Bouton monoid Conway addition
• site:arxiv.org Rota-Baxter differential categories coalgebra modality
• arXiv abstract / TeX source、Hora公式 Problemsページ、issue #43

gaps

• 準備中とされる differential calculus の共同研究は公開版を確認していない。
• differential category axioms と $\mathcal P_{\mathrm f}$-recursive coalgebras の厳密な型照合は未実施。
• arXiv:2510.22886 を引用する後続研究の citation graph は未調査。
• 検索で直接の解答が見つからなかったことを、新規性の証拠とは扱わない。

免責

これは機械の提案であり、洞の確認と数学的検証を経ていない。