Gameの圏はtoposか

Trigger

Notion「研究テーマ」DBの Games as recursive coalgebras ページ（arXiv:2510.22886 の作業メモ）に残っていた未展開のアイデアから瓶化した。原文は「Locally finitely presentableだったりしない？その場合、前層圏への埋め込み見てトポスになったりしないの？hereditarily finite setかfinite gamesのなすsiteとか考えてよお」。

このうち locally finitely presentable であることは論文で確立済みで、Closed structures on games も "the locally finitely presentable category of combinatorial games" を前提に書かれている。残っているのは後半、すなわち topos になるかという問いであり、これは既存のどの瓶にも入っていない。

Idea

impartial game を finite powerset functor $\mathcal P_{\mathrm f}$ の recursive coalgebra として扱う圏 $\mathbf{Game}$ は locally finitely presentable である。LFP 圏は finitely presentable objects のなす小圏 $\mathcal A$ を取れば Gabriel--Ulmer duality により $\mathrm{Lex}(\mathcal A^{\mathrm{op}},\mathbf{Set})$ と同値になり、前層圏 $[\mathcal A^{\mathrm{op}},\mathbf{Set}]$ の reflective 部分圏として実現される。

問うのは、この埋め込みの像がある site 上の sheaf の圏として書けるか——すなわち $\mathbf{Game}$（あるいはその適当な部分圏・完備化）が Grothendieck topos になるかである。

原メモが挙げる site の候補は次の二つ。

• hereditarily finite sets のなす圏
• finite games のなす圏

LFP であることは topos であることを含意しない（reflective 部分圏が lex reflective でなければ sheaf 圏にならない）ので、これは自明ではない。

Goal

$\mathbf{Game}$ が Grothendieck topos かどうかを決定する。topos なら、上の候補のどちらか（あるいは別の圏）を site として明示する。topos でないなら、どの条件が破れるか——subobject classifier の不在か、reflector の左完全性か——を特定し、topos になるように圏をどう取り替えればよいかを見る。

Personal context

洞の topoi of systems の系列（力学系・オートマトンを topos として見る研究）と、combinatorial game の研究が交差する点にある。$\mathbf{Game}$ が topos なら、game に対して内部論理・subobject classifier・geometric morphism といった道具がそのまま使えるようになり、Closed structures on games の monoidal closed structures の分類や Internal hom for Conway addition の internal hom の記述にも効く可能性がある。

2026-08-26 監査結果：否定解は原論文中に既出

この問いは原論文の Remark B.27 で既に否定されている．$\mathbf{Game}$ は subobject classifier を持つ一方で cartesian closed ではない．従って elementary topos でも Grothendieck topos でもない．

ただし Conway addition に関しては symmetric monoidal closed であり，cartesian closedness の失敗と monoidal closedness は区別される．また restricted Yoneda により前層圏の reflective 部分圏として表現できるが，reflector は left exact ではないため sheaf category にはならない．

@misc{sumire:2610.00003:16:v1,
  author = {hora},
  title = {{Gameの圏はtoposか}},
  year = {2026},
  note = {SUMIRE:2610.00003/16, v1},
  url = {https://sumire.aiformath.jp/p/2610.00003/n/16/v/1}
}