coskeletalityによるno-go統一

## Trigger Arrow の定理を presheaf として書きたいというメモを整理している中で、Abramsky の categorical Arrow theorem は 「選択肢集合の圏上の order object への自然変換に対する no-go theorem」 として読めることが見えてきた。 一方で、可換モノイド $A$ に対する functor $F_A$ についての Kori–Watanabe 型の no-go theorem も、 低 arity のデータだけから自然変換や product construction が強く制約される、という現象として見える。 この二つを並べてみると、どちらも 「presheaf / topos において、ある object が low-dimensional / low-arity data から復元されること (coskeltality) が no-go theorem の背景にある」 という統一的な図式で理解できるのではないか、という着想が出てきた。 ## Idea 主張したい方向性は次の通り。 1. Kori–Watanabe 側では、可換モノイド $A$ から作る functor $F_A$ が 適切な意味で $2$-coskeletal（= 3 頂点までのデータで決まる）であり、 その結果として自然変換 $F_A \Rightarrow F_B$ が $$ p(a,c) $$ のような low-arity datum で記述できる。 2. Arrow 側では、選好順序 object $\mathcal L$ を $$ \mathcal L : \FinSet_{\mathrm{inj}}^{op} \to \Set $$ のような presheaf として捉えると、これは 2 点・3 点の局所条件 （全性・反対称性・推移律）によって決まる object であり、 同じく「2次元的」あるいは「2-coskeletal 的」な対象と見なせる。 3. 社会的厚生関数 $$ \sigma : \mathcal D \Rightarrow \mathcal L $$ に対する IIA や Pareto は自然性・対角保存性として記述でき、 その結果、Arrow の定理も 「2-coskeletal な order object への自然変換に対する no-go theorem」 として読み直せる。 4. したがって、Arrow の定理と Kori–Watanabe の no-go theorem はともに 「topos / presheaf category における coskeltality が、 natural transformation の自由度を低次元データへ押し込めることによって no-go theorem を生む」 という統一的な枠組みで理解できる可能性がある。 5. さらに Arrow 側では decisive family / ultrafilter が出てくるので、 これを subobject classifier, sheaf, geometric morphism などの topos 的言葉で もう一段抽象化できるかもしれない。 そうすると 「low-dimensional object + naturality + diagonal condition + ultrafilter-like factorization」 という一般パターンが見えてくる可能性がある。 ## Goal うまくいくと嬉しいことは次の通り。 - Arrow theorem と Kori–Watanabe の theorem を、表面的な類似ではなく、 共通の topos-theoretic mechanism によって説明できる。 - no-go theorem を「low-dimensionality / coskeltality による rigidity」として 読む一般原理が得られる。 - $[\FinSet_{\mathrm{inj}}^{op}, \Set]$ における order object の幾何や、 decisive family の ultrafilter 的幾何を研究する新しい切り口になる。 - Lawvere の object classifier / level / coskeleton の流れと、 categorical social choice / theoretical computer science の no-go theorem を 一つの話として接続できる。 ## Personal context これは自分の既存の関心とかなり強くつながっている。 - Lawvere の問題、特に object classifier や level/coskeleton の組合せ論。 - presheaf topos やその双対的な圏での「低次元データから全体が決まる」現象。 - Arrow theorem を $[\FinSet_{\mathrm{inj}}^{op}, \Set]$ の内部で捉えたいというメモ。 - Kori–Watanabe の no-go theorem を、単なる coalgebraic product construction の障害ではなく、 topos 的 rigidity として理解したいという動機。 - 「双対トポスの理論」や no-go theorem の幾何学化、という大きな夢との接続。 今後の具体的な課題としては、 - $F_A$ の coskeltality を次元規約で整理すること - Arrow 側の order object $\mathcal L$ の level/coskeltality を正確に定式化すること - decisive family / ultrafilter の因子分解を topos 的に書くこと - これらを共通の diagrammatic / categorical statement としてまとめること がある。 ## 追記と数学的訂正（2026-08-27・独立検証2件つき） 2026-07-24 の郡・前原とのやり取り（ChatGPT 会話）で得られた確定結果を反映する。Claude Opus 5 と GPT 系 codex の独立検証 2 件で確認済み（ADR-0018 quorum）。 **確定結果**: 1. 総和 \(\Sigma:F_A\Rightarrow\underline{A}\) は自然変換なので \(F_A\cong\coprod_{t\in A}F_A[t]\) と直和分解し、各 homogeneous piece は connected。任意の自然変換 \(F_A\Rightarrow F_B\) は \(q(t)=p(t,0)\) に沿って成分ごとに \(F_A[t]\to F_B[q(t)]\) へ分解する。 2. 生成元 \([a\mid c]\)、関係式 \([0\mid c]=0\), \([a+b\mid c]=[a\mid b+c]+[b\mid a+c]\) で定まる可換モノイド \(Q(A)\) は CMon 上の comonad をなし、\(\mathrm{CMon}(Q(A),B)\cong\mathrm{Nat}(F_A,F_B)\)。したがって CMon → coKl(Q) → [FinSet, Set] と分解し、後半は fully faithful。「CMon → [FinSet,Set] が充満でない」理由は、自然変換が ambient context \(c\) に依存できるからだと概念的に説明される。 3. cocycle 恒等式は、群完備化で \(z_t(a):=p(a,t-a)\) と再パラメータ化すると \(z_t\) が準同型になるので、比喩でなく本物の 1-cocycle 条件である。 **数学的訂正**: 洞の予想「結局考えるべきは可換冪等モノイドだけでは」は、数学的帰着の主張としては**誤り**。正しくは total \(t\) ごとの decomposition monoid \(Q_t(A)\)（\(\mathrm{Nat}(F_A[t],F_B)\cong\mathrm{Hom}_{\mathrm{CMon}}(Q_t(A),B)\)）を見る話であり、semilattice はその特殊例にすぎない。反例の証人: \(A=\mathbb N\), \(t=1\) で \(Q_1(\mathbb N)\cong\mathbb N\) は冪等でなく、\(\mathrm{Nat}(F_{\mathbb N}[1],F_B)\cong B\) は \(B\) の可換モノイド構造全体を見る。（「当面 idempotent な \(A\) に注目する」という scope 宣言として読むなら誤りではない。） **関連**: 前原の読み筋「\(F_A\) は FinSet を用いてモノイド \(A\) をエンコードし、変数を最初に全部宣言して最後まで持ち歩く世界に生まれ変わらせたもの」。logical-width 定理（\(r\) 変数で公理化できる関係的 universal theory の有限モデル presheaf は \((r-1)\)-coskeletal）は [[gn64jy]] 側に記録する。