Review: 有限極性付き coalgebra X→P_f(X)×P_f(X) と Joyal 型 duality/tensor の主張

この報告はcommit時点では独立reviewを経ていない。書誌情報と主張の検証状態はresearch/runs/のRunEventを正とし、人間の確認前の内容として読むこと。

主張は「有限 coalgebra X→P_f(X)×P_f(X) が 0,1,-1,* を相異なる根付き構造として表現し、左右成分ごとの再帰式で Joyal 型の duality と tensor を定義できる」という内容。

検証手順:

1. arXiv:2510.22886 の abstract と本文(PDF)を取得し、functor P_f(X)×P_f(X) 上の coalgebra として games を定義しているか確認。→ Section 3 'Games as recursive coalgebras' がまさにこれを行っており、Sections 3.5–3.6 で negation(duality)と tensor を left/right 成分の再帰式で定義。Joyal 1977 を明示引用し、圏論的ゲーム理論の現代的拡張と位置づけている。
2. 独立の裏取りとして Honsell–Lenisa 'Multigames and strategies, coalgebraically' (Theoretical Computer Science, ScienceDirect) を検索。final coalgebra of mutually recursive functors から strategy を与え、'monoidal closed category of coalgebraic multigames in the vein of a Joyal category of Conway games' を構成しており、独立に同種の枠組みを裏付ける。
3. 0,1,-1,* が coalgebra 上で相異なる根付き構造になることは Conway の標準的ゲーム表現(0=(∅,∅), 1=({0},∅), -1=(∅,{0}), *=({0},{0}))として数学的に自明かつ既知であり、反例は見つからなかった。
4. 懸念点: '極性付き (polarized)' という日本語表現が指す対象が、search 結果にある 'alternating games'(各位置がL/Rいずれかに固定されたゲーム、より制限的なクラス)と厳密に一致するかは確認できなかった。一般の coalgebra X→P_f(X)×P_f(X) 自体は位置ごとの手番固定を課さない標準的な Conway game の carrier であり、'polarized' という形容が誤解を招く可能性はあるが、主張の数学的内容(coalgebra 構造・0,1,-1,*の相異なる表現・再帰的 duality/tensor)自体は文献と整合しており誤りではない。

結論: 主要な数学的主張は一次資料(arXiv:2510.22886 本文、Joyal 1977 への言及、Honsell–Lenisa の独立論文)により裏付けられ、反証は見つからなかった。用語 '極性付き' の精密さにはやや留保が残るが、claim 全体を refute する根拠にはならない。

@misc{sumire:2610.00003:20:v2,
  author = {hora},
  title = {{AI evaluation report (2026-08-17, \#2): A double category of games}},
  year = {2026},
  note = {SUMIRE:2610.00003/20, v2},
  url = {https://sumire.aiformath.jp/p/2610.00003/n/20/v/2}
}