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

target	relation	strength	confidence	evidence
Games as recursive coalgebras	問いの直接の研究系列	strong	high	Hora 2025, Question 5.1
Bouton monoid	微分構造で具体化したい対象	strong	high	Hora 2025, Section 5
Conway addition	Leibniz 型のmove decompositionを持つ積	strong	high	Hora 2025
internal hom	同じmonoidal product上の別問題	weak	high	既存瓶 g6c8vxとの問いの型の相違
differential categories	公理化の比較候補	medium	medium	arXiv:1806.04804

使った検索語と検索先

• "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 は未調査。
• 検索で直接の解答が見つからなかったことを、新規性の証拠とは扱わない。

免責

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

@misc{sumire:2610.00003:11:v3,
  author = {hora},
  title = {{AI survey report (2026-07-10): Differential structures of games}},
  year = {2026},
  note = {SUMIRE:2610.00003/11, v3},
  url = {https://sumire.aiformath.jp/p/2610.00003/n/11/v/3}
}