{ "format": "sumire-research-record", "version": 1, "exportedAt": "2026-11-04T08:29:34.685Z", "scope": "Reader-visible project fields and native live notes only; referenced notes in other projects, deleted notes and private AI context are excluded.", "submission": "not_submitted", "mathematicalCorrespondence": "not_automatically_checked", "project": { "id": "2610.00003", "url": "https://sumire.aiformath.jp/p/2610.00003", "title": "Games as recursive coalgebras", "tagline": "Recursive coalgebras, game values, and the categorical structure of combinatorial games.", "visibility": "public", "owner": { "name": "hora", "handle": "ryuya" }, "origin": "", "source": "", "goal": "Explain how recursive game positions, game values, and operations such as Conway addition fit together, and identify what this explains about the Nim-sum.", "narrative": "The starting point is [Games as recursive coalgebras: A categorical view on the Nim-sum](https://arxiv.org/abs/2510.22886v3), available in [Main](https://sumire.aiformath.jp/p/2610.00003?view=main). The paper develops impartial games as recursive finite-powerset coalgebras, game values as recursive evaluations, and Bouton monoids as universal factorizations of game values. Conway addition is symmetric monoidal closed.\n\nThe next question is how much more explicit this framework can become. [The internal hom](https://sumire.aiformath.jp/p/2610.00003/n/4) has a proposed concrete cofree-subgame construction and proof in [note 29](https://sumire.aiformath.jp/p/2610.00003/n/29); its relationship to playing strategies remains separate. [Differential structures](https://sumire.aiformath.jp/p/2610.00003/n/6) asks for a common explanation of the Leibniz-type move formula and the Rota–Baxter-type law, with an explanation of Nim-sum as the target.\n\nTwo extensions have different starting points. [Partisan games](https://sumire.aiformath.jp/p/2610.00003/n/3) already recover short game forms, but values and strategies need additional structure. [A double category of games](https://sumire.aiformath.jp/p/2610.00003/n/1) still requires a precise strategy class and compatible squares; counterexamples for arbitrary relations do not settle that question.\n\nA settled boundary is that [Game itself is not a topos](https://sumire.aiformath.jp/p/2610.00003/n/16), by Remark B.27 of the paper. Questions about a topos completion are therefore distinct from that answered question.\n\nTo contribute, choose one of these linked questions and work against its stated remaining claim. For the internal hom, compute a small explicit example or clarify its game-theoretic meaning. For the double category, specify legal strategies and test compatibility with coalgebra maps before claiming a general construction or obstruction.", "history": "", "dates": { "inspiration": null, "sourceRecorded": null, "evidence": null, "registeredInSumire": "2026-10-07T16:29:39.051Z", "updatedInSumire": "2026-10-30T14:35:21.579Z", "legacyRecordedAt": "2026-10-07T16:29:39.050Z", "legacyUpdatedAt": "2026-10-30T14:35:21.579Z" }, "goals": [ { "id": "goal_71391ac0-c899-41e4-b6ed-e9d825d41001", "title": "To understand why Nim-sum works", "body": "", "noteIds": [] }, { "id": "goal_4d2683f0-360b-4edd-b553-ca70400f6943", "title": "Categorical unification of recursive, geometric and logical aspects of combinatorial game theory", "body": "", "noteIds": [] } ], "goalDependencies": [] }, "notes": [ { "id": "n_u0GOWUvZnyFZ", "number": 10, "url": "https://sumire.aiformath.jp/p/2610.00003/n/10", "title": "AI survey report (2026-07-10): Internal hom for Conway addition", "author": { "name": "hora", "handle": "ryuya" }, "source": "", "body": "# Survey: Internal hom for Conway addition\n\n## 3-line Summary\n\n- Hora は impartial games を finite-powerset functor の recursive coalgebras として組織し、その圏 \\(\\mathbf{Game}\\) が locally finitely presentable、かつ Conway addition に関して symmetric monoidal closed であることを示している。\n- closedness の証明は adjoint functor theorem による存在証明であり、論文の Question 5.7 は Conway addition に対応する internal hom の明示的構成を問う。公式 Problems 5.0.5 にも同じ問いが掲載されている。\n- 同論文の cofree game の式から、internal hom を \\(R(\\operatorname{Set}(UG,UH))\\) の部分gameとして書く候補を導ける。今後の核心はこの候補の普遍性の検証・簡約と、Joyal型の player-switching との関係である。\n\n## Current public status\n\n- arXiv:2510.22886 の Question 5.7 と現行の公式 Problems ページで未解決問題として公開されている。\n- issue #43 の下書きには共著者名が記されていたが、2026-07-10に確認した arXiv:2510.22886 の著者表示は Ryuya Hora 単著である。本サーベイでは公開版の書誌情報を採用した。\n- 下記の cofree-subgame formula は本サーベイで既存定理から導いた候補であり、原論文に internal hom の解答として記載されたものではない。著者による検証前なので result とは扱わない。\n\n## 1. Hora, *Games as recursive coalgebras*\n\n### 書誌情報\n\n- Ryuya Hora, *Games as recursive coalgebras*, arXiv:2510.22886, submitted 2025-10-27.\n- https://arxiv.org/abs/2510.22886\n\n### 一致した概念\n\n- impartial game を \\(\\mathcal{P}_{\\mathrm f}\\)-coalgebraから得られる recursive coalgebra として扱い、それらの圏 \\(\\mathbf{Game}\\) を構成する。\n- Conway addition は Definition 2.10 で定義され、symmetric monoidal closed structure を与える（Proposition 4.2）。\n- \\(\\mathbf{Game}\\) は locally finitely presentable である。より一般に、Set 上の cartesian monoidal structure を持ち上げる monoidal structure は、各変数で余極限を保存することと adjoint functor theorem により monoidal closed になる（Corollary B.11）。\n- Question 5.7 は「Conway addition に関する internal hom は何か」と問い、存在は抽象的に分かるが明示的構成は不明とする。\n- cofree game \\(R(S)\\) は \\(S\\)-labeled hereditarily finite sets として明示される（Proposition B.14）。この結果を internal hom の表現問題へ適用すると、次の候補が得られる。\n\n### Cofree-subgame formula（本サーベイの導出候補）\n\n\\(S=\\operatorname{Set}(UG,UH)\\) とする。\\(R(S)\\) の position は \\(S\\)-labeled hereditarily finite set \\(t=(T,a)\\) であり、\\(T\\) は有限個の子position、\\(a:UG\\to UH\\) はラベルである。\\(A(G,H)\\subset R(S)\\) を、各positionとその全子孫について\n\\[\n\\theta_H(a(g))\n=\\{a(g')\\mid g'\\in\\theta_G(g)\\}\n \\cup\\{a_{t'}(g)\\mid t'\\in T\\}\n\\quad(g\\in UG)\n\\]\nを満たす最大の部分gameとする。すると \\(\\operatorname{ev}(g,t)=a(g)\\) は \\(G+A(G,H)\\to H\\) の game morphism になる候補である。\n\n任意の game morphism \\(f:G+K\\to H\\) に \\(a_k(g)=f(g,k)\\) を対応させ、Proposition B.14 の cofree transpose \\(K\\to R(S)\\) を取る。\\(f\\) が game morphism である条件を展開すると、その transpose が \\(A(G,H)\\) に入る条件と一致するように見える。これを両向きに厳密化できれば\n\\[\n\\mathbf{Game}(G+K,H)\\cong\\mathbf{Game}(K,A(G,H))\n\\]\nが従い、\\(A(G,H)\\) が求める internal hom になる。\n\n### 関係の種類\n\n問題の直接の出典、既知の存在定理、および比較方針。\n\n### 根拠の強さ\n\n定理・系・Question 5.7 の本文に基づく直接的な一致。\n\n### 確信度\n\n高い。internal hom が存在することと、公開論文がその明示的構成を未解決としていることは明記されている。\n\n### 次のアクション\n\n上の cofree-subgame formula について、evaluation が morphism になることと transpose/factorization の同値を形式的に証明する。その後、小さい有限gamesで計算して式を簡約する。\n\n## 2. Kapulkin–Kershaw, *Closed symmetric monoidal structures on the category of graphs*\n\n### 書誌情報\n\n- Krzysztof Kapulkin and Nathan Kershaw, *Closed symmetric monoidal structures on the category of graphs*, Theory and Applications of Categories 41(23), 2024, pp. 760–784.\n- arXiv:2310.00493: https://arxiv.org/abs/2310.00493\n\n### 一致した概念\n\n- graph category 上の closed symmetric monoidal products を、box product と categorical product の2種類に分類する（Theorem 4.11）。box product の internal hom は明示されている（Proposition 2.5）。\n- Hora 論文は graph categories との類似を背景に挙げており、内部homを combinatorial data から記述する際の比較対象になる。\n\n### 関係の種類\n\n構成手法と隣接圏の比較。\\(\\mathbf{Game}\\) の Conway addition に対する直接の解答ではない。\n\n### 根拠の強さ\n\ngraph category における分類定理としては強いが、recursive coalgebras への移植可能性は推論段階である。\n\n### 確信度\n\n中。対象圏と monoidal product が異なるため、具体的な式を転用できるかは未確認である。\n\n### 次のアクション\n\n両 graph products の internal hom の頂点・辺の定義を、games の positions・moves の候補に翻訳できるか比較する。\n\n## 3. Joyal, *Remarks on the Theory of Two-Player Games*\n\n### 書誌情報\n\n- André Joyal, *Remarques sur la théorie des jeux à deux personnes*, Gazette des sciences mathématiques du Québec 1(4), 1977, pp. 46–52.\n- Robin Houstonによる英訳: https://bosker.wordpress.com/wp-content/uploads/2010/12/joyal-games.pdf\n\n### 一致した概念\n\n- partisan game の opposite \\(-G\\) は Left と Right の役割を交換する。\n- Joyal の strategy category では \\(G\\to H\\) の morphism を \\(H-G=H+(-G)\\) における winning strategy として定める。\n- この duality により category は compact closed になり、internal hom に相当する game は \\(-G+H\\) で表される。\n\n### 関係の種類\n\n古典的な比較対象。ただし morphism は strategy であり、Hora の \\(\\mathcal P_{\\mathrm f}\\)-coalgebra homomorphism（path-lifting map）とは異なる。\n\n### 根拠の強さ\n\n原論文の game opposite・sum・strategy-category の定義に基づく直接的な一致。\n\n### 確信度\n\n高い。式そのものは明確だが、Hora の category への移植は未証明である。\n\n### 次のアクション\n\ncofree-subgame formula のpositionに、\\(-G+H\\) の copy-cat / player-switching strategyに相当する情報がどう符号化されるか調べる。\n\n## 4. Honsell–Lenisa–Redamalla, *Categories of Coalgebraic Games*\n\n### 書誌情報\n\n- Furio Honsell, Marina Lenisa, and Rekha Redamalla, *Categories of Coalgebraic Games*, MFCS 2012, LNCS 7464, pp. 503–515.\n- 著者公開PDF: https://users.dimi.uniud.it/~marina.lenisa/Papers/Soft-copy-pdf/mfcs12.pdf\n\n### 一致した概念\n\n- possibly non-wellfounded games を final coalgebra の要素として扱い、sum・negation・linear implication を final morphisms で定める。\n- linear implication を sum と negation から構成する（Definition 10）。well-founded games と winning strategies の full subcategory は compact closed であり（Theorem 4）、Joyal の category を回収する（Corollary 2）。\n\n### 関係の種類\n\ncoalgebraic games における direct formula と strategy semantics の先行研究。ただし対象は final coalgebra の要素、射は strategies であり、Hora の recursive coalgebras と coalgebra homomorphisms の圏とは別である。\n\n### 根拠の強さ\n\n定義・定理レベルの直接的な一致。\n\n### 確信度\n\n高い。今回の category との差異を保った比較が必要である。\n\n### 次のアクション\n\n同論文の linear implication の coalgebra equation と cofree-subgame formula を並べ、同じ recursive pattern と strategy固有の player labelsを分離する。\n\n## 5. Altman–Lipparini, *A Ring structure on the Class of Combinatorial Games*\n\n### 書誌情報\n\n- Harry Altman and Paolo Lipparini, *A Ring structure on the Class of Combinatorial Games*, arXiv:2604.27847, submitted 2026-04-30.\n- https://arxiv.org/abs/2604.27847\n\n### 一致した概念\n\n- partizan combinatorial games に通常より細かい equivalence relation を導入し、その同値類の上で加法と乗法が可換環を成すことを示す（Theorem 4.7）。\n- Conway 型の演算を扱う点では近いが、商集合上の環構造と、\\(\\mathbf{Game}\\) における関手 \\(G+(-)\\) の右随伴は異なる問題である。\n\n### 関係の種類\n\n近接する代数的研究。競合する解答ではなく、演算と同値関係の選び方を比較する資料。\n\n### 根拠の強さ\n\n論文の定義と環構造の主定理に基づく。今回の internal hom への否定的区別は、扱う対象と普遍性の相違からの判断である。\n\n### 確信度\n\n高い。少なくとも論文の主結果は categorical internal hom の明示式ではない。\n\n### 次のアクション\n\n同論文の equivalence が \\(\\mathbf{Game}\\) の morphisms や Conway addition とどの程度両立するかだけを切り分け、internal hom のテスト例に使えるか確認する。\n\n## Relation to Hora themes\n\n| target | relation | strength | confidence | evidence |\n| --- | --- | ---: | ---: | --- |\n| Games as recursive coalgebras | 問いの直接の研究系列 | strong | high | Hora 2025, Question 5.7 |\n| Conway addition | internal hom を求める monoidal product | strong | high | Hora 2025 の closedness と公開問題 |\n| cofree game | internal hom候補を載せる明示的なambient game | strong | medium | Hora 2025, Proposition B.14からの本サーベイの導出 |\n| partisan games | player-switching dualityとの比較候補 | strong | high | Joyal 1977; Honsell–Lenisa–Redamalla 2012 |\n| graph categories | explicit closed structuresの構成手法候補 | medium | medium | Kapulkin–Kershaw 2024 |\n| ring structure on games | Conway型演算を扱う隣接研究 | weak | high | Altman–Lipparini 2026 |\n\n## 使った検索語と検索先\n\n- `\"internal hom\" \"Conway addition\"`\n- `\"Games as recursive coalgebras\" internal hom`\n- `\"Categories of Coalgebraic Games\" linear implication`\n- `Joyal two-player games compact closed internal hom`\n- `site:arxiv.org combinatorial games ring structure`\n- arXiv abstract / TeX source、Hora公式 Problemsページ、issue #43\n\n## gaps\n\n- cofree-subgame formula の普遍性はまだ著者による検証を経ていない。\n- formula を小さい有限例で計算・簡約する作業は未実施。\n- arXiv:2510.22886 を引用する後続研究の網羅的な citation graph は未調査。\n- 「公開文献に式が見つからない」ことだけを新規性の証拠とはしない。\n\n## 免責\n\nこれは機械の提案であり、洞の確認と数学的検証を経ていない。", "dates": { "inspiration": null, "sourceRecorded": null, "evidence": null, "registeredInSumire": "2026-10-07T16:33:38.021Z", "updatedInSumire": "2026-10-10T08:50:46.348Z", "legacyRecordedAt": "2026-10-07T16:33:38.021Z", "legacyUpdatedAt": "2026-10-10T08:50:46.348Z" }, "language": null, "projectLanguage": "ja", "languageSource": "not_recorded", "legacyStage": "note", "classification": "unclassified", "classificationStatus": "unclassified", "importance": "unspecified", "section": "unassigned", "problemState": "unknown", "resolution": "", "verificationEvidence": { "ai": "", "lean": "", "human": "" }, "aiClaimModel": "", "formalization": "unknown", "humanReview": "unreviewed", "verification": "unverified", "ai": { "use": "assisted", "tools": "Codex", "additions": "" }, "originalQuestion": "", "references": [ { "url": "https://arxiv.org/abs/2510.22886", "verification": "not_checked", "service": "arxiv", "identifier": "arXiv:2510.22886", "version": null, "pinned": false, "correspondence": { "status": "reader_memo_unverified", "assumptions": "", "conclusions": "", "evidence": "", "differences": "", "unchecked": "", "declaration": "" } }, { "url": "https://arxiv.org/abs/2310.00493", "verification": "not_checked", "service": "arxiv", "identifier": "arXiv:2310.00493", "version": null, "pinned": false, "correspondence": { "status": "reader_memo_unverified", "assumptions": "", "conclusions": "", "evidence": "", "differences": "", "unchecked": "", "declaration": "" } }, { "url": "https://arxiv.org/abs/2604.27847", "verification": "not_checked", "service": "arxiv", "identifier": "arXiv:2604.27847", "version": null, "pinned": false, "correspondence": { "status": "reader_memo_unverified", "assumptions": "", "conclusions": "", "evidence": "", "differences": "", "unchecked": "", "declaration": "" } } ] } ], "noteDependencies": [], "guides": { "arxiv": "https://info.arxiv.org/help/submit/index.html", "formal_conjectures": "https://github.com/google-deepmind/formal-conjectures/blob/main/CONTRIBUTING.md", "mathlib": "https://leanprover-community.github.io/contribute/index.html" }, "search": { "arxiv": "https://arxiv.org/search/", "formal_conjectures": "https://google-deepmind.github.io/formal-conjectures/browse/", "mathlib": "https://leanprover-community.github.io/mathlib4_docs/" } }