A double category of games

Trigger

旧HP Problems 5.0.2から移住する公開問題。旧HPは Games as recursive coalgebras とJoyalのgames and strategiesを参照していた。created は前者の論文の初公開日を代理値とし、正確な着想日は不明。

Idea

Is there a double category $\mathbf{Games}$ whose vertical part is the category of games as recursive coalgebras and whose horizontal part is, in some sense, Joyal's compact closed category of games and strategies?

A bridge between the recursive-coalgebraic and strategy-categorical views of games.

Goal

旧原文にあるvertical partとhorizontal partを持つdouble categoryが存在するかを明らかにする。

Personal context

旧タグは double category、recursive coalgebra、Joyal games。旧一覧以後の進展はこの移住では未確認であり、棚卸し待ちとして status: dormant とする。

References

• Ryuya Hora, Games as recursive coalgebras: A categorical view on the Nim-sum
• Joyal's games and strategies

Provenance

• 旧ID: 5.0.2
• 旧分類: informal question
• 旧出典 scripts/site.js 882–890行
• Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。

@misc{sumire:2610.00003:1:v2,
  author = {hora},
  title = {{A double category of games}},
  year = {2026},
  note = {SUMIRE:2610.00003/1, v2},
  url = {https://sumire.aiformath.jp/p/2610.00003/n/1/v/2}
}