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*](https://arxiv.org/abs/2510.22886) - [Joyal's games and strategies](https://people.cs.uchicago.edu/~brady/CSPP50102/notes/Joyal-games.pdf) ## Provenance - 旧ID: 5.0.2 - 旧分類: informal question - [旧出典 `scripts/site.js` 882–890行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L882-L890) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。