Games and Species

Idea

combinatorial game と combinatorial species を繋ぐ研究方向。

接点として既に瓶にあるのは次の一点のみである。box積はDay convolutionか は box product を Day convolution として実現できるかを問う中で、原メモの「2-rig にしたいなら、species とパラレルに！」を引いている。本テーマがこれと同じ接点を指すかは未確認。

Goal

Zeinab Galal との議論の内容を確認し、問いを確定する。

• 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 である」ことを記録している（詳細は box積はDay convolutionか へ移した）
• 洞の草稿 Ver1:170 は Joyal 1981 の Proposition 5 = species の Leibniz rule を引用している
• 複数の草稿に \memo{Rieg of species? Differential operator?} という TeX メモがある

訂正（2026-08-16）

Zeinab Galal は議論した相手であり、論文の著者に名を連ねる関係ではない。

@misc{sumire:2610.00003:43:v2,
  author = {hora},
  title = {{Games and Species}},
  year = {2026},
  note = {SUMIRE:2610.00003/43, v2},
  url = {https://sumire.aiformath.jp/p/2610.00003/n/43/v/2}
}