問い #257

Gameの圏はtoposか ## Trigger Notion「研究テーマ」DBの `Games as recursive coalgebras` ページ（arXiv:2510.22886 の作業メモ）に残っていた未展開のアイデアから瓶化した。原文は「Locally finitely presentableだったりしない？その場合、前層圏への埋め込み見てトポスになったりしないの？hereditarily finite setかfinite gamesのなすsiteとか考えてよお」。 このうち locally finitely presentable であることは論文で確立済みで、[[tauvfv]] も "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 といった道具がそのまま使えるようになり、[[tauvfv]] の monoidal closed structures の分類や [[g6c8vx]] の 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 にはならない．