合意形成のtoposモデル

## Trigger 中澤さん（ZEN大学）との「topos理論の社会応用」についてのpersonal communicationがきっかけ。Claudeとの会話で既存研究をサーベイした結果、系譜の交点が空白であることが見えた。 ## Idea 「集団的合意 = global section」の視点で既存研究を整理すると3系譜に分かれる： 1. **静的 local-to-global**：Abramsky "Arrow's Theorem by Arrow Theory"、Baryshnikov のtopological social choice、contextuality（Abramsky–Brandenburger）。合意の不可能性 = obstruction。時間なし。 2. **cellular sheaf + 外付けdynamics**：Hansen–Ghrist "Opinion Dynamics on Discourse Sheaves" (SIAM J. Appl. Math. 2020)。sheaf Laplacianによるdiffusionでopinionとexpression（restriction map自体）を時間発展させ、嘘・選択的表明を扱う。合意 = harmonic section。応用実績は最厚だが、toposではなく有限次元線形代数で、時間はbaseの外のODE。 3. **時間をbaseに入れるtopos**：Goguen sheaf semantics (1992)、Cattani–Winskel presheaf models for concurrency（open mapsによるbisimulation）、Schultz–Spivak *Temporal Type Theory*（interval domain IR/▷ 上のsheaf topos、LTL/MTL埋込）、Kishida stochastic relational presheaves（concurrency presheafとcontextualityの接続、dynamic modal logicによる特徴づけ）。単一システム視点で「合意」の意味論はない。 隣接：games × sheaf（innocent strategies as sheaves over plays; Tsukada–Ong, Hirschowitz）、2026年5月arXiv "A Sheaf Framework for Strategic Multi-Agent Systems"（time-space historiesのGrothendieck topos上のgame sheaf、品質未検証）。 **主張**：epistemic（誰が何を知るか）× temporal（baseに時間）× topos-internal（合意 = global section / descent）を同時に持つ枠組みは未確立。relative topos for Conway games — game treeをbaseにしたE-topos — がこの空白にちょうど刺さる。Kishida線（系譜3）と game sheaf 線を繋ぐのが最短経路と予想。 ## Goal 「時間の中で複数エージェントが合意に至る／至れない」ことをtoposの内部論理・descentで特徴づける枠組み。うまくいけばArrow型不可能性定理の動的版、および中澤さんに提示できる社会応用の理論的基盤。 ## Personal context relative topos theory（Ξ_j がE-toposの不変量である話）、Conway games向けrelative topos framework構想（時間をbase categoryに埋め込む）と直結。epistemic logicのtopos semantics・contextualityの既知の地盤の上に建つ。