問い #255

無限gameとω-semigroup ## Trigger Notion「研究テーマ」DBの `infinite game and ω-semigroup`（優先度★★★★、進行状況 ●○○、coresearcher 欄に Komatsu・Yusuke Inoue、Categorical Structures 欄に coalgebra、共同研究 ◯）から瓶化した。**Notion のページに本文は無く、タイトルと人名だけが記録されている。** hora-tex の `papers/` にも `overleaf/`（245プロジェクト）にも対応する草稿は見つからなかった。 ## Idea 無限ゲームと \(\omega\)-semigroup を繋ぐ研究方向。**具体的な定式化は Notion のページからは確定できないため、ここでは補完しない。** \(\omega\)-semigroup は無限語の認識を扱う代数で、有限語に対する monoid の役割を担う。Notion の Categorical Structures 欄には coalgebra とある。 ## Goal Komatsu・Yusuke Inoue との議論の内容を確認し、問いを確定する。 ## Personal context 洞のゲーム系（[[v7p3ka]] 系列）と言語系（[[v6m2qz]] の infinite-word points、[[h6q9vx]] の hyperconnected language theory）の交差点にある。