問い #256

Games and Species ## Trigger Notion「研究テーマ」DBの `Games and Species`（優先度 Active、進行状況 ●○○、共著 Zeinab Galal）から瓶化した。**Notion のページに本文は無く、タイトルと共著者名だけが記録されている。** hora-tex の `papers/registry.yaml` にも対応する草稿は無い。 ## Idea combinatorial game と combinatorial species を繋ぐ研究方向。**具体的な定式化は Notion のページからは確定できないため、ここでは補完しない。** 接点として既に瓶にあるのは次の一点のみである。[[jkjtsg]] は box product を Day convolution として実現できるかを問う中で、原メモの「2-rig にしたいなら、species とパラレルに！」を引いている。本テーマがこれと同じ接点を指すかは未確認。 ## Goal Zeinab Galal との議論の内容を確認し、問いを確定する。 ## Personal context 洞の combinatorial game 研究（[[v7p3ka]] 系列）と、species の理論を繋ぐ共同方向。 ## hora-tex 調査（2026-08-16） hora-tex を探したが、Zeinab Galal との `Games and Species` に対応する草稿は `papers/` にも `overleaf/`（245プロジェクト）にも見つからなかった。 ただし species 自体は別の場所で本質的に現れる。 - `papers/differential-calculus-games/study-2026-07-28/19-differential-calculus-of-games.md` が Loregian--Trimble *Differential 2-rigs* を精読し、「ある colored species の圏が1生成元上の free differential 2-rig である」ことを記録している（詳細は [[jkjtsg]] へ移した） - 洞の草稿 `Ver1:170` は Joyal 1981 の Proposition 5 = species の Leibniz rule を引用している - 複数の草稿に `\memo{Rieg of species? Differential operator?}` という TeX メモがある 本テーマがこれらと同じ接点を指すのか、Galal との別の話なのかは未確認のまま。 ## 訂正（2026-08-16） 本文で Zeinab Galal を「共著」と書いたのは誤りである。Notion の `coresearcher` 欄の記載をそのまま共著と解釈したが、洞の確認により、この欄は共著者・議論した相手・謝辞に載せる人を区別せず含むことが分かった。**Zeinab Galal は議論した相手であり、論文の著者に名を連ねる関係ではない。**