投稿

SmoothSetのLSCはgermsのsheaf **Status.** unchecked. ## Trigger Conley index を categorical/topos theoretic に読む計画の中で、smooth sets の local state classifier が何になるかを計算したい。文脈は、Hora の local state classifier と discrete dynamical systems の quotient topos の話を、topological な topoi、特に light condensed sets, Johnstone's topological topos, topos of smooth sets へ拡張すること。 ## Idea \[ \SmoothSet=\Sh(\Eucl) \] の local state classifier は \[ \Xi_{\SmoothSet} \simeq a\Xi_0, \qquad \Xi_0(U)=\CoSub_{\SmoothSet}(yU) \cong \Quot_{\SmoothSet}(yU) \cong \EqRel_{\SmoothSet}(yU). \] ここで \(a\) は sheafification。したがって \(\Xi_{\SmoothSet}\) は Euclidean test domain の local quotient germ の sheaf と解釈できる。 localic topos では representable が subterminal なので \(\Xi\simeq 1\) になる。一方、\(\SmoothSet\) では \[ y\mathbb R(T)=C^\infty(T,\mathbb R) \] が多くの plots を持つため、\(\Xi_{\SmoothSet}\) は非自明。例えば \[ y\mathbb R\twoheadrightarrow y\mathbb R, \qquad y\mathbb R\twoheadrightarrow 1 \] は異なる local states を与える。ordinary point では見えず、 \[ \Xi_{\SmoothSet}(\mathbb R^0)\cong 1 \] だが、interval や disk 上の plots では非自明になる。 canonical map \[ \xi_X:X\to \Xi_{\SmoothSet} \] は、plot \[ x\in X(U), \qquad \ulcorner x\urcorner:yU\to X \] に対し、 \[ \xi_X(x)= \bigl[ yU\twoheadrightarrow \operatorname{im}(\ulcorner x\urcorner) \bigr] \] を返す。同値関係としては \[ R_x(T) = \{(a,b:T\to U)\mid X(a)(x)=X(b)(x)\in X(T)\}. \] 特に \(X=yM\) で \(x:U\to M\) が smooth map なら、 \[ R_x(T) = \{(a,b:T\to U)\mid x\circ a=x\circ b\}. \] Conley index への応用では、smooth index pair \[ L\hookrightarrow N \] の exit-collapse quotient \[ q:N\twoheadrightarrow N/L \] に対し、 \[ N\xrightarrow{q}N/L\xrightarrow{\xi_{N/L}}\Xi_{\SmoothSet} \] を付ける。この composite は、plot \(p:yU\to N\) に対して \[ \Ker\bigl( yU\xrightarrow{p}N\xrightarrow{q}N/L \bigr) \] を返す。つまり、exit set の collapse が \(U\)-shaped family of states をどう同一視するかを記録する。 collapse relation を形式的に \[ R_L=\Delta_N\cup(L\times L) \] と書けば、plot \(p:yU\to N\) 上の local state は \[ p^*R_L \] である。\(N\setminus L\) の内部では diagonal、\(L\) の内部では total collapse、境界では boundary-collapse singularity になる。 したがって、smooth/topological topos での refined Conley index は \[ \text{Conley index} = \text{exit-collapse quotient} + \text{local-state profile} \] と読める。localic topos では \(\Xi=1\) なのでこの profile は消えるが、smooth/topological test-object topos では quotient の singularity data が残る。 ## Goal Conley index を単なる pointed homotopy type \(N/L\) としてだけでなく、exit-collapse quotient とその local-state profile \[ (N/L,\; N\to N/L\to \Xi_{\SmoothSet}) \] として refine する。これにより、位相力学系・smooth dynamics の Conley index を、local state classifier と quotient topos の文脈へ接続する。 ## Personal context Hora の local state classifier と discrete dynamical systems の quotient topos の話を、topological/smooth な topoi へ拡張するための計算。localic な場合には \(\Xi=1\) で情報が消えるが、smooth sets では non-localic なので quotient singularity data が残るはず、という期待がある。 ## Unchecked points - \(\SmoothSet=\Sh(\Eucl)\) の site choice に依存する可能性を確認する。 - \(\CoSub(yU)\cong\Quot(yU)\cong\EqRel(yU)\) の同一視を、effective quotients の存在として明示的に確認する。 - sheafification 後に identity quotient と total collapse quotient が確実に区別されることを lemma 化する。 - Diff/Chen spaces そのものではなく ambient Grothendieck topos の LSC を計算している、という点を明記する。 - continuation invariance が local-state profile 付きでどこまで保たれるかは未確認。 ## Notion からの追記（2026-08-16） Notion「研究テーマ」DBの `LSCと特異点`（優先度★★★★、進行状況 Not started、coresearcher 欄は空）の本文を、洞の判断でこの瓶へ移す。 > 豊田くんとの話．orbifoldのLSCって特異点を見てない？ 本瓶は SmoothSet の \(\Xi\) を local quotient germs の sheaf として見るが、orbifold の場合にその germs が特異点の情報を担っているのではないか、という見立てである。orbifold は局所的に有限群による商として書けるため、local quotient germs はまさにその商のデータにあたる。 （Notion 本文の「豊田くん」は、他ページの coresearcher 欄にある `Toyota` と同一人物と読み、その表記で discussed_with へ入れた。）

double categoriesと組合せゲーム ## Trigger ACT 2026でJules Hedgesと、double categories of games、open games、組合せゲーム、進化論的ゲームについて話した。 Julesによれば、gameをdouble categoryとして扱う既存研究には少なくとも次の二つがある。 - Jules Hedges, *Morphisms of Open Games* lensをvertical directionに用い、equilibriumを扱えるdouble categoryを与える。Jules自身は、これは最初に実際にworkした構成ではあるが、よりよい定式化があるはずだと考えているらしい。 - Neil Ghani, Clemens Kupke, Alasdair Lambert, Fredrik Nordvall Forsberg, *A compositional treatment of iterated open games* coalgebraを使ってiterated open gamesを扱い、repeated prisoner’s dilemmaを合成的に記述する。 一方で、open games in economicsとcombinatorial gamesは、現在の研究コミュニティではかなり別の対象として扱われている。JulesはNimやBouton’s theoremを知らなかった。この分断は、洞の *Games as recursive coalgebras* とJoyal strategiesをdouble-categoricalに結ぶ研究にとって明確な空白地帯である。 ## Idea 組合せゲームに特化したdouble category / virtual equipmentを作る。 - objects: recursive coalgebraとしてのgame frames - vertical arrows: option-preservingかつoption-liftingなcoalgebraic game morphisms - horizontal arrows: Joyal型のstrategies - 2-cells: coalgebraic mapsに沿ったstrategy simulations - companions/conjoints: copycat-through-$f$ - horizontal composition: swivel-chair / interaction-and-hiding 既存のopen gamesのdouble categoryをそのまま特殊化するのではなく、 \[ \text{coalgebraic combinatorial game structure} \quad+\quad \text{Joyal strategy semantics} \] を直接統合する。 これはeconomic game theoryのopen gamesと、Conway–Joyal型combinatorial game theoryの間を埋める構成になる可能性がある。 ## Relation to P-positions and game semantics *The game semantics of game theory*（arXiv:1904.11287）では、combinatorial gameのP-positionを、複数のplayerが協力して外界と戦うゲームにおけるNash equilibriumとして理解する議論があるらしい。 この見方が正しければ、 \[ \text{P-position} \] は単なるrecursive outcome classではなく、 \[ \text{internal coalition vs. environment} \] というopen-game的意味論を持つ。 調べるべき問い： - P-positionをcoalgebraic invariantとして記述できるか。 - そのP-position conditionは、strategy equipment内のequilibrium-like universal propertyになるか。 - Bouton’s theoremは、そのequilibrium predicateをNim-sumによって計算するintegration theoremと解釈できるか。 - Joyalのwinning strategyとopen gamesのbest-response/equilibriumを同一のdouble-categorical構造で比較できるか。 ## Evolutionary games and compositionality untyped lambda calculusだけを基礎にして進化論をモデル化する案について、Julesから > 経済のゲームと生物のゲームをどうcompositeするのか という批判があった。 これは妥当な問題である。単にすべてをlambda termとして符号化しても、それぞれの相互作用のinterfaceやcomposition lawは説明されない。 しかしDawkins的な観点では、economic agents、organisms、genes、memesは同じ世界の中で相互作用している。したがって必要なのは単一のuntyped syntaxではなく、異なるgame semanticsを接続できるheterogeneous compositional frameworkである可能性が高い。 候補： - virtual double categories / equipments - decorated or indexed open games - coalgebraic game frames with varying strategy doctrines - fibrations of game semantics - double categories whose objects encode interfaces and whose horizontal arrows encode heterogeneous games - cybernetic systems combining biological fitness, economic utility, and informational replication ## Goal 第一段階では、combinatorial gamesに対するvirtual equipmentを厳密に構成し、既存のopen gamesのdouble categoriesとの比較定理を与える。 第二段階では、P-position、Nash equilibrium、coalgebraic recursion、Bouton’s theoremを同じcompositional languageで関係づける。 最終的には、economic gamesとbiological gamesを同じsyntaxへ潰すのではなく、異なる意味論を保ったまま合成できる「進化論の構造的モデル」へ接続する。 ## Personal context これは洞の以下の研究を直接つなぐ。 - *Games as recursive coalgebras* - Nim-sumをrecursive coalgebraのintegrationとして見る立場 - Joyal strategiesの圏 - double category / virtual equipment of combinatorial games - Conway’s Game of Lifeや人工生命への関心 - 理性・生命・制度の創発をcompositionalに理解する目標 組合せゲーム側にはopen games研究者が十分入っておらず、open games側にはNimやBouton’s theoremが十分知られていない。この断絶自体が研究機会である。 ## David Jaz Myersのcategorical systems theoryとの関係 David Jaz Myersのbook draft *Categorical Systems Theory* を参照する。Jules Hedgesとの議論では、Julesのdouble-categorical approachは、Myersのcategorical systems theoryにおけるdouble-categorical approachと関係しているらしい、という文脈も得られた。 したがって、この草稿は単なる一般的なsystems theoryの背景ではなく、Julesのopen gamesにおけるdouble-categorical構成が属する系譜と、組合せゲーム側で構成したいdouble categoryあるいはvirtual double categoryを比較するための直接的な参照点として読むべきである。ただし、両者の正確な技術的対応関係は未確認であり、今後、用いるlens、interface、horizontal/vertical morphism、compositionの対応を文献上で検証する必要がある。

Higher Topos of Dynamical Systems ## Trigger Sudaさんと話していた「洞の discrete dynamical systems / quotient topos / local state classifier の話を、topological な topos や smooth/topological semantics 側へ発展させる」方向の続きとして、ACT2026 の Yorgo Chamoun の発表 *Combinatorial manifolds and Kleene's theorem, homotopically* がかなり近い参照になる。 Chamoun の論文は、relational presheaves 上で「各点の近傍で局所条件を満たす combinatorial objects」を combinatorial manifolds として捉え、それらを coreflective subcategory として構成する。さらに unique factorization systems / model structures を使い、cofibrant objects がちょうどその combinatorial manifolds になるようにする。 ## Idea 仮タイトルは **Higher Topos of Dynamical Systems**。 洞の既存の「discrete dynamical systems の topos」や LSC の話を、単なる $Set^{\mathbb{N}^{op}}$ の quotient 計算から、より高次・局所・幾何的な dynamics の topos へ拡張する。 Chamoun の枠組みでは、precubical sets や relational automata が relational presheaves として扱われ、局所的に euclidean/grid-like な対象を cofibrant objects として抽出する。これを参考に、dynamical systems の「よい局所モデル」を生成 cofibration / unique lifting property / cofibrant replacement として定式化できないかを考える。 特に、以下の方向がありそう。 1. discrete dynamical systems の quotient topos を、higher-dimensional automata / precubical dynamics / directed topology の topos へ持ち上げる。 2. LSC を「状態の分類器」から「局所的な状態近傍・観測近傍・軌道近傍の分類器」へ拡張する。 3. smooth sets, light condensed sets, Johnstone's topological topos などで、local quotient / local state / local transition の sheaf 的分類を考える。 4. Chamoun の blowup / cofibrant replacement を、dynamical system の singularity resolution, local unfolding, observation refinement として読む。 5. automata における Kleene theorem の homotopical proof を、regular language ではなく「higher dynamical behavior の合成性」の定理へ拡張する。 ## Goal 目標は、dynamical systems を単なる global transition system としてではなく、局所モデルを貼り合わせる higher/combinatorial/topological object として捉えること。 うまくいけば、以下が見えるかもしれない。 - quotient topos of dynamical systems の higher-dimensional version - LSC の topological / smooth / directed / automata-theoretic version - automata theory, directed topology, concurrency, topos theory の橋渡し - 「観測の総体としての topos」と「局所的な遷移構造としての dynamics」の接続 - Sudaさんとの categorical/topos-theoretic interpretation の発展形 ## Personal context 洞の既存研究では、$Set^{\mathbb{N}^{op}}$ を discrete dynamical systems の topos として見て、その quotient toposes を分類していた。また、hyperconnected quotients を分類する道具として local state classifier を導入していた。 今回の発展では、対象を $Set^{\mathbb{N}^{op}}$ から relational presheaves / precubical sets / higher-dimensional automata / smooth or topological toposes へ拡張し、LSC を「global quotient の分類器」から「local dynamical model の分類器」へ拡張することを狙う。 Chamoun の ACT2026 論文は、局所条件を満たす combinatorial objects を coreflective subcategory / cofibrant replacement として取り出す一般機構を与えており、この方向の参考文献として重要。

人工生命を研究関心の中心に ## Trigger ACT2026 文脈で Virgo, Biehl, Baltieri, Capucci “A Good Regulator Theorem for Embodied Agents” を読みながら、人工生命（Artificial Life / ALife）が、自分のやりたいことに非常に近いと感じた。 特に、生命・認知・意味・目的性・モデル・制御を、内部表象や古典的計算モデルからではなく、身体化されたエージェントと環境の結合力学から理解しようとする方向が、自分の関心と強く一致している。 ## Idea 人工生命を、今後の最重要研究関心の一つとして明示的に位置づける。 中心的な問いは次のようなもの： - 生命らしさ、認知らしさ、主体性、意味生成は、どのような力学的・圏論的構造として捉えられるか。 - embodied agent と environment の結合系から、belief, model, norm, goal, regulation がどのように立ち上がるか。 - Good Regulator Theorem, Internal Model Principle, enactivism, viability, autopoiesis, sense-making を、圏論・topos theory・coalgebra・modal logic で再定式化できるか。 - 「モデルを内在的に持つ」のではなく、「観察者が belief update として解釈できる」という観点を、数学的構造としてどう扱うか。 - Conway’s Game of Life のような単純な規則系から、生命らしさ・自己維持・主体性・意味・理性の萌芽がどのように現れるか。 - 理性の自己矛盾や自己言及性を、生命・進化・制御・認知の構造と接続して理解できるか。 ## Goal 最終的な目標は、**理性の創発を構造的に理解すること**。 人工生命を、単なる応用先ではなく、自分の topos theory / category theory の研究と接続する主要なフィールドとして育てる。 特に、以下の方向を探索する： - embodied agents の圏論的定式化 - agent-environment coupling の coalgebraic / double categorical / fibrational な記述 - viability boundary や regulating set の topos-theoretic 表現 - belief map, normative map, interpretation map の圏論化 - enactivism における sense-making と internal logic / modal logic の接続 - Conway’s Game of Life 的な自己組織化と、理性・自己言及・自己矛盾の発生との接続 - 「生命・認知・意味・理性」を、topos を介して数学的に扱う研究計画 ## Personal context これは既存の関心である、 - Conway’s Game of Life - 理性の自己矛盾 - 理性の不動点 - 進化論の構造的モデル - games as recursive coalgebras - agency / belief / update / regulation の圏論化 と強く接続しうる。 人工生命は、洞がやりたい「生命・認知・意味・理性の創発を、構造的に理解する」ための中核的フィールドである。

パラメータ化はなぜ効くのか ## Trigger トポスの系譜を遡る対話(topos ← Weil cohomology ← Weil予想 ← RH ← Euler積)の中で、Euler が ζ を最初から「変数 s の関数」として書けた理由を検討した。歴史的事実: Euler は Basel 問題 (1735) 以前の1729–30年、Γ関数 (E19) で「自然数上の数列 n! を連続変数の関数に内挿する」という move を既に習得していた。さらに E352 (1749) では負の s への総和法で関数等式の原型まで数値検証している。 ## Idea 「数を関数に持ち上げる」パラメータ化は、圏化の 0→1 次元バージョン(点→変域)のような飛躍である。なぜこの種の持ち上げが問題解決能力を生むのか? 観察された機構の候補: - **族としての一斉解決**: ζ(2) 単体ではなく ζ(2n) が Bernoulli 数の族として一斉に求まる — パラメータが個別問題を族に埋め込み、族全体の構造(関数等式、母関数)が個別解を落とす - **因数分解の突き合わせ**: Euler積(素数での積分解)と Hadamard積(零点での積分解)という同一関数の2つの分解の比較が明示公式を生む。パラメータ空間上の関数だからこそ「分解」が意味を持つ - **解析接続 = 変域の拡大**が、元の離散的定義域では見えない情報(負の s での値、臨界帯)へのアクセスを与える 圏論的に定式化できるか? 「問題の族化 = 表現可能関手化」「パラメータ空間 = classifying object」という読み替えで、"なぜ一般化が易しくなるのか" を構造的に説明する枠組みはあるか。Lawvere の「一般が具体に先行する」テーゼとの関係。 ## Goal 「数学的営みの数学」— 数学的実践における有効な move(パラメータ化、圏化、族化)がなぜ有効かを、それ自体数学的対象として説明する理論の一例が得られると嬉しい。 ## Personal context 洞の圏化・LSC研究(個別の subobject classifier ではなく族 Ξ を考える)、applied category theory 批評(真の数学的内容とは何か)、Kan拡張・分類トポスの「一般対象」の哲学と接続する。 参考文献: - Euler E19 (Γ関数, 1730): https://scholarlycommons.pacific.edu/euler-works/19/ - Euler E72 (Euler積, 1737/1744): https://scholarlycommons.pacific.edu/euler-works/72/ - Euler E352 (関数等式の原型, 1749): https://scholarlycommons.pacific.edu/euler-works/352/

合意形成の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の既知の地盤の上に建つ。

ハッシュ対象の操作論的公理化 ## Trigger ハッシュ関数の「実質的単射性」（有限回・feasibleな試行では衝突が見つからない）が、構成的数学の「有限の手続きで区別できないものは区別しない」と類似しているという観察から。Blechschmidt的な surjection ℕ→ℝ の nontrivial classifying locale の確率的類似（probabilistic classifying locale）を探る議論を経て、逆向きの発想に到達：SDGがKock–Lawvere axiomで「無限小が存在する世界」を公理化したように、「理想的なハッシュ対象Hが存在する世界」を操作論的に公理化できないか。 ## Idea **目標**：hash object H の公理化。naiveには「H は他のすべての対象から mono を受ける」だが、m: P(H) ↪ H は intuitionistic な Cantor diagonal（Lawvere fixed point theorem の系）で任意のトポスで矛盾する。Effective topos の ℕ でも不可。ただし Eff では ℕ^ℕ が subcountable（subquotient of ℕ）であり、CZF では every set is subcountable が consistent（Rathjen）— 弱い論理が緩めるのは mono ではなく subquotient の側。 **転回**：SDGは古典論理と衝突したので論理を弱めた。ハッシュの場合、衝突相手は diagonal argument そのもの（構成的に有効）なので、弱めるべきは論理ではなく **equality/mono の概念**。射の equality を asymptotic measure algebra（事象 mod negligible、security parameter で添字づけ）に値を取るものに enrich し、「H は feasible なテスト族に対して mod negligible で mono を受ける」と公理化する。すると Cantor diagonal は矛盾ではなく **collision attack の構成**に化け、公理の consistency が「diagonalization is not feasible」＝ one-way性 の圏論的言い換えになる。「feasible diagonal structure の不在」を公理に据える手つきは、Kock–Lawvere axiom の設置と構造的に同型。 **技術的成分**： - 真理値側：Simpson "Measure, randomness and sublocales"（random sublocale、measure-1 quotient）＋ asymptotic measure algebra。ただし computational indistinguishability は hybrid argument で ε が加算的に積み上がるため厳密には equivalence でなく、frame ではなく graded/quantale-enriched な論理（apRHL, 差分プライバシー論理の形）になるはず。「poly-bounded meets」の公理化が本丸。 - 計算量側：Krajíček *Forcing with Random Variables and Proof Complexity*（measure algebra 上の Boolean-valued model ＋ random variables の計算量制限。weak PHP が破れ、generic hash が真理値1で injective になる）。bounded arithmetic における PHP 証明複雑性と one-wayness の接続。 - Random oracle model は「点を持たないが nontrivial」の確率的実例：CGH uninstantiability ＝ pointless locale の類似。 ## Survey（先行研究の状況） - **Pavlovic の系列が最も近い**："Chasing diagrams in cryptography" / "Towards categorical cryptography"：secrecy notions（IND-CPA等）は可換図式で特徴づけられるが、**one-way function と PRG は「図式が可換にならない」要求**に対応し、enriched category ＋ convolution が必要になると明言。この観察が Monoidal Computer プログラム（string diagrams による computability/complexity、one-way・trapdoor functions の高水準言語が最終目標）につながった。つまり「不可逆性の圏論的公理化」は Pavlovic 自身が open な目標として掲げたまま、monoidal (bi)category の路線で部分的にしか進んでいない。 - **トポス・realizability 路線での hash/one-wayness の公理化は見当たらない**。resource-bounded realizability（quantitative classical realizability, Brunel–Terui, Hofmann SLR系）や PPT の型システム（Mitchell–Scedrov系, session types for cryptographic experiments）は「adversary の feasibility」を言語側で縛る話で、hash object の対象としての公理化ではない。 - 形式検証系（EasyCrypt, CryptoVerif, Coq での ROM 形式化）は ROM を postulate するのみで、operational axiomatization とは別問題。 - 結論：**「hash object の SDG 流公理化」というピンポイントの先行研究は現時点で見当たらず**、Pavlovic の「非可換図式＋enrichment が要る」という指摘が最良の出発点。研究テーマとしての新規性はありそう。 ## Goal 「理想ハッシュが存在する圏/トポス」のモデルが一つでも構成できれば（候補：Krajíček 型 forcing、asymptotic measure algebra 上の enriched category）、暗号の security proof の意味論的基盤になる。Lawvere fixed point theorem のどの前提を壊すのが最小かの特定は独立に圏論的な問い。 ## Personal context - Simpson の random sublocale は Rogers との Stone space self-similar sublocale 研究（2^ℕ, Bernoulli measure）と直接接続。 - 「dense → measure 1」置換で Booleanization の類似物が出る構造は、quotient topoi / Lawvere–Tierney topology の自分の研究語彙と近い。 - Krajíček forcing は「classifying topos の確率的・feasible 版」という視点で読める（surjection ℕ→ℝ の classifying locale = collapse forcing との並行）。

Relative LSC program ## Trigger Nivar論文がsubtopos caseを解決したことで、Horaノート§Boundsのconjecture「EがLSCを持てばbounded E-toposもLSCを持つ」の全体像が見えた（claudeとの会話より）。 ## Idea 一般問題：「bounded E-toposのLSCを、Ξ_Eとstructure morphismのデータから構成せよ」。現状の到達点：embedding caseはNivarが解決（Ξ_j = Eq(id, λ_j)のsheaf化）、hyperconnected caseはHoraノートで解決済み（filter FがそのままLSC）。hyperconnected–localic factorizationにより、本質的な未知は「localic morphism沿いのLSCの挙動」に集約される。Nivarの Example 7.5/7.6が示す通り、relative LSCはE-toposとしての不変量であってtoposとしての不変量ではない（両方Setなのに Ξ_{jE} ≅ 1, Ξ_{jV} ≅ Ξ）。 ## Goal relative topos theoryの枠組みでのLSC理論の完成。boundsとLSCの存在の関係の解明。 ## Personal context Horaノート§Boundsのconjectureの解決プログラム。Nivar論文はそのsubtopos caseの肯定的解決として位置づけられる。 ## 吸収した旧問題: HP Problems 1.1.3 ### Original question If the local-monomorphism characterization above is true, one can define a relative local state classifier for any geometric morphism. Does it classify all relative hyperconnected geometric morphisms, just as in the absolute case? ### Original description A relative version of the local-state-classifier classification of hyperconnected quotients. ### このprogramとの関係 旧1.1.3は、relative local state classifierの構成後に、それがrelative hyperconnected geometric morphismsをabsolute caseと同様に分類するかを問う。この分類問題は、本瓶が扱うrelative LSC programの一部であり、洞の判断（2026-07-14）により別の瓶を作らず本瓶へ吸収した。 原文の “local-monomorphism characterization above” は旧Problems 1.1.2、現在の瓶 [[b7m4yk]] が問う特徴づけを指す。 ### Provenance - 旧ID: 1.1.3（テーマ: Local state classifier / 旧分類: informal question） - 旧タグ: relative topos, hyperconnected, geometric morphism - 旧リスト更新日: 2026-03-30 - 旧出典: [ryuya-hora-homepage@1b8b74c / scripts/site.js 610–618行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L610-L618) ## Notion からの追記（2026-08-16） Notion「研究テーマ」DBの `Relative LSC`（優先度★★★★、進行状況 ●○○、coresearcher 欄に Olivia Caramello）から、本文にあった次の一行を材料として移す。 > Filt(\(\Xi\)) の普遍性を調べる．とりあえず． 本瓶は Nivar 論文と Hora ノート §Bounds の conjecture を起点に「bounded E-topos の LSC を base から構成する」という形で問題を立てているが、Filt(\(\Xi\)) の普遍性を調べるという入口はそこに入っていない。relative LSC を filter の側から攻める一手として記録する。

Prodiscrete Galois monoids ## Trigger 非公開の Topoi of automata II 草稿に置かれた予想を、issue #43 の下書き7/Nから独立した問いとして保存する。草稿中での採否や証明状況はここでは確定しない。 ## Idea 適切な閉性条件を満たす言語クラス \(C\) に対し、標準的な topological monoid \(M_C\) と、alphabet \(A\) 上の free monoidからの準同型 \[ A^*\longrightarrow M_C \] を構成できるか。さらに \(M_C\) を prodiscrete に選び、この準同型から \(C\) に対応する topos への hyperconnected geometric morphismを復元できるか。 正規言語の local variety では、Uramoto の semi-Galois category と profinite monoid の双対が先行例を与える。一般の言語クラスでは、Rogers が hyperconnected morphism \(\mathbf{PSh}(A^*)\to\mathcal E\) から complete powder monoid を構成するが、それがこの問題で要求する prodiscrete model と標準性を直ちに与えるわけではない。 ## Goal 言語クラスから Galois 的 monoid とその action topos を再構成する手順を定理として定式化する。まず、対象とする \(C\) の閉性条件、\(M_C\) の普遍性、写像 \(A^*\to M_C\) の稠密性、得られる topos の同値までを分離して検証する。 ## Personal context Topoi of automata 系列における「言語クラス・hyperconnected quotient・syntactic monoid」の対応を、profinite な正規言語の範囲を越えて調べるための問いである。非公開草稿由来なので、公開前には問題設定と記号を草稿本体と照合する。 ## References - [Takeo Uramoto, *Semi-galois Categories I: The Classical Eilenberg Variety Theory*](https://arxiv.org/abs/1512.04389) - [Morgan Rogers, *Toposes of Topological Monoid Actions*](https://arxiv.org/abs/2105.00772) - [Ryuya Hora, *Topoi of automata I: Four topoi of automata and regular languages*](https://arxiv.org/abs/2411.06358)

LSC in presentable categories ## Trigger issue #43 の下書き13/Nでは、locally presentable category に local state classifier がいつ存在するかという speculation として記録されていた。今回、著者管理の非公開草稿を再確認したところ、より強い存在命題と短い証明案が置かれていたため、未検証の result candidate として瓶化する。 ## Candidate result すべての locally presentable category は local state classifier を持つ、という候補主張である。 草稿の証明方針は、locally presentable category が備える strong epimorphism–monomorphism factorization と、totality および cowell-poweredness を使い、全 monomorphism の図式から求める universal cocone を構成する、というものになっている。 ## Unverified status - kind: result は、非公開草稿に命題と証明案があることを表し、数学的検証や公表済みであることを意味しない。 - 「local state classifier」の一般圏での定義、用いる factorization system の仮定、size 条件、totality からの構成は独立に監査していない。 - 正確な命題と証明を洞が確認するまでは、visibility: private と curation: ai-generated を維持する。 - 非公開草稿の本文・URL・local path はこの瓶に複製しない。 ## Goal 証明を、一般の total category と factorization system に対する存在定理、その仮定を locally presentable category が満たすこと、具体例、の三段階に分けて監査する。成立すれば、LSC 理論を topos 固有の構造から presentable category の一般論へ広げ、Gabriel 型分類や covariety の既存瓶と比較する。 ## Personal context 公式 Papers ページの準備中項目 *Demystifying local state classifiers: local state classifier in a total category with a factorization system* に接続する私的な result candidate である。公開ページは研究方向だけを裏付け、上の存在命題自体の公開済み証拠ではない。 ## References - [Ryuya Hora, Papers](https://sites.google.com/view/ryuya-hora/papers) - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](https://arxiv.org/abs/2302.06851)

∞-local state classifier ## Trigger Claude との会話で「LSC の存在定理は ∞ でどうなるか」を追ったのが発端。Ξ = colim(ℰ_mono → ℰ) を ∞-topos に持ち込むと、mono の分類（mono ⟺ 成分の部分和）から点が mono であることをやめ、B F_κ 型の連結型が proper class あるため cocone-to-2 論法で **point を持つ Grothendieck ∞-topos は LSC を持たない**（n ≥ 2 の n-topos で既に破綻）。1次元の存在定理の本当の内容は「coSub(y(c)) が small」という有界性だった。 ## Idea 修繕と一般化のプログラム。 1. **κ-塔.** Ξ_κ := colim((ℰ^κ)_mono → ℰ)。presheaf ∞-topos で存在し、Ξ_κ(c) ≃ Epi_κ(y(c))（κ-compact な effective epi 商の moduli）。κ ≤ λ で Ξ_κ ↪ Ξ_λ は mono、colim = 大きい Ξ。object classifier U_κ（HTT 6.1.6）と同じ病理・同じ処方だが、**U は map を bound、Ξ は object を bound** する点で転置（relatively κ-compact mono への制限では存在が復活しない）。 2. **Idempotent locus.** 有限積から Ξ_κ は E_∞-monoid。∧([q],[q]) = [q] ⟺ Δ_Q mono ⟺ Q が 0-truncated。すなわち **1次元の Ξ（∧-semilattice）は Ξ_κ の idempotent locus**。冪等性の破れ Γ ×_G Γ ≅ Γ ⋉ ker φ は Čech data。 3. **Filter ↔ componentwise coreflection（定理D′）.** 𝒮 では hyperconnected quotient は id のみ（X ≃ colim_X pt）なので、分類定理の RHS を付け替える：ℰ = 𝒮^{BG}（Borel）で、internal filter F ⊆ Ξ（上向き閉＋∧-閉）と componentwise coreflection の間の全単射。**quotient 性は 1-categorical なボーナスで、∞ で生き残る本体は colocalization**。coherence の書き下しは残る。 4. **G = Z/2 の計算.** 古典の filter lattice は 2 点、∞ では proper class に爆発。最小 filter = ↑⊤ = homotopy fixed point を持つ成分（古典の「自明作用 ↔ quotient = Set」の変形）、新顔 F_surj = underlying 連結な成分（古典への影は F_min と同一）、任意の principal ↑T が filter。 5. **自然な舞台 = OFS / modality.** 構成は (effective epi, mono) しか使わない。accessible OFS (L,R) ごとに Ξ_R := colim(ℰ_R → ℰ) が定義でき、fiber = L-quotient の moduli、冪等 ⟺ Δ_Q ∈ R。∞-topos 上の stable OFS = Rijke–Shulman–Spitters の modality なので、**Ξ は modality lattice 上の monotone 関手**。端点：R = equiv で pointed objects の moduli（非存在）、R = all で 1。Ξ = quotient たちの fibration（coslice fibration の R-localization）の fiberwise classifying space であり、Ω/U（slice 側）との双対の正体は arrow category の source/target 双対。Ξ は Topos 上の lax section で、比較射 θ_f : f^*Ξ_ℰ → Ξ_ℱ の同値性判定は open。 次の一手：(a) D′ の coherence、(b) orbit category O_G 上（genuine）で family of subgroups と E𝓕 の回収、(c) nullification P_A の OFS に対する Ξ_{P_A} の計算（A-cellular moduli の予想）。 ## サーベイ（関連文献の位置づけ） - **Lurie, HTT 6.1.6**：object classifier U_κ の塔。非存在と κ-修復の設計図。HoTT 側は Voevodsky の univalent universe。 - **Rijke–Shulman–Spitters, Modalities in HoTT**：stable OFS = modality。Ξ の index の同定に使用。lex modality ↔ subtopos（Ω 側）に対し、非 lex 側が Ξ の縄張り。 - **Funk–Hofstra の isotropy group / Henry の localic isotropy**：ξ_X(x) = Ω_x(X_{hG})（∞-stabilizer、代数幾何では inertia stack）の topos 論的先行。crossed topos 構造は normalization operator の ∞-版（自由 crossed module + Peiffer 商、Whitehead の π₂）と接続する見込み。 - **Farjoun, Cellular spaces, null spaces and homotopy localization**：cellularization CW_A・nullification は coreflection 側の親戚。D′ により filter 理論と localization 理論が一枚の対応表に乗る可能性。 - **tom Dieck / equivariant homotopy の family of subgroups**：family 𝓕 ↔ E𝓕 ↔ isotropy separation。「Sub(G) 上の ideal-theoretic data が理論を分解する」の同型現象。genuine 版 (b) の本丸。 - **Toën / Lurie shape / Hoyois の higher Galois theory**：Sub(π₁) → Grp/π₁ の太り（covering → fibration）の体系化。Ξ の太り方と同型。 - **自分の既存結果**：LSC の存在定理と internal filter ↔ hyperconnected quotient、Set^G での filter = 群位相 ↔ Cont(G_τ)（D′ の 1次元の影）、Kamio–Hora の proper class quotient（size 問題の対）、normalization preprint（右合同→両側、(5) の crossed module 化と合流予定）。 ## Goal Ξ を「(epi, mono) の一点」から modality lattice 全体の関手に格上げし、存在（κ-塔）・構造（idempotent locus）・分類（filter ↔ colocalization）の三点セットで ∞-LSC の基礎理論を作る。うまくいけば equivariant homotopy の E𝓕 と unstable localization 理論に topos 側から名前が付く。 ## Personal context Lawvere 第一問題・LSC・normalization の直系の続き。Rogers との Stone 空間仕事や automata 方面とは独立だが、「1-categorical 構造は idempotent な影」という標語は semiring（tropical 化）の関心と響き合う。 ## Notion からの追記（2026-08-16） Notion「研究テーマ」DBの `Lawvere's open problem 1 (Yuhi Kamio) Quotient topos via object classifier`（進行状況 Published、共著 Yuhi Kamio）に、論文へ入らなかった未チェック項目が残っていた。そのうち次の1点を、洞の判断でこの瓶の材料として移す。 > 幾何的には連結性っぽい。実は∞-topos版だと分かりやすかったりしない？HTT読もう！ quotient topos を幾何的に読むと連結性の話に見える、それが ∞-topos では見やすくなるのではないか、という見立てである。本瓶の項目3が「quotient 性は 1-categorical なボーナスで、∞ で生き残る本体は colocalization」と述べていることと向きが重なる。ここでの「連結性」が hyperconnected の意味か、shape の連結性かは原メモからは確定できない。 同ページの他の2項目（extends LSC, mimicking the topos of DD／DirGraph への Graph の accessible reflective な埋め込みを使えないか）は、洞の判断でボツとした。

geometric morphismが誘導するT̂ ## Trigger Nivar論文（relative LSC）のThm 3.1読解中。λ_jの性質(i)–(iv)がL_jのどの性質に対応するかを分解した際の観察（claudeとの会話より）。 ## Idea 任意のgeometric morphism f : F → E に対し、monad T = f_* f^* はlex pointedなので、Horaノート（§Exponential structure）のPropositionによりΞのinflationary internal semilattice endomorphism T̂ が誘導される。Thm 3.1の(i)–(iii)は常に成立し、idempotence (iv)だけがfがembeddingの場合の特典。一般のfに対する「T̂-stableなclassifier」が何を分類するかはopen。f ↦ T̂ の関手性（lax functor性）も問える。 ## Goal embedding（Nivar）を超えた一般のgeometric morphismに対するrelative LSC理論の第一歩。 ## Personal context Horaノートのpointed endofunctor Proposition（mono保存で十分、lexはsemilattice hom性にのみ必要）の直接の応用系。 ## 2026-09-07 追記（Kobin研究継続 run） 「idempotence は embedding だけの特典」は étale \(\pi_X:\mathcal E/X\to\mathcal E\)（monad \((-)^X\)）でも成り立たない：[[u32zsb]] により \(\hat T_X=\hat T_{\operatorname{supp}X}=\lambda_{o(\operatorname{supp}X)}\) で idempotent，globally supported なら恒等射．一般の \(f\) に対する \(\hat T_f\) が非 idempotent になる例は依然として未提示（候補：hyperconnected や connected な \(f\)）．

Quotients vs local varieties ## Trigger 非公開の Topoi of automata II 草稿に置かれた予想を、issue #43 の下書き8/Nから独立した問いとして保存する。草稿における証明状況や採否は確定事項として扱わない。 ## Idea 有限 alphabet \(A\) に対し、orbit-finite \(A^*\)-sets の Grothendieck toposを \(\mathcal E_{\mathrm{of}}(A)\) と書く。この topos の hyperconnected quotients の完備束は、次の既知の完備束と標準的に同型か。 1. \(A\) 上の regular languages の local varieties 2. \(A\)-generated finite monoids の local pseudovarieties 古典的な local Eilenberg theorem は 1 と 2 の束同型を与える。問いたいのは、\(\mathcal E_{\mathrm{of}}(A)\) の全 hyperconnected quotientsがその対応をちょうど topos 論的に実現するか、である。 ## Goal 各 local variety \(V\) から hyperconnected quotient \(\mathcal E_{\mathrm{of}}(A)\to\mathcal E_V\) を構成し、逆に各 quotientから language classを復元する。二つの操作が互いに逆で、包含順序・meet・joinを保つことまで示す。 ## Personal context Topoi of automata I が公開した orbit-finite topos と、classical Eilenberg theoryを「toposの商」で直接つなぐ候補である。非公開草稿由来なので、公開前には \(\mathcal E_{\mathrm{of}}(A)\) の記号、quotientの向き、local varietyの閉性条件を草稿本体と照合する。 ## References - [Jiří Adámek, Stefan Milius, Robert S. R. Myers and Henning Urbat, *Generalized Eilenberg Theorem I: Local Varieties of Languages*](https://arxiv.org/abs/1501.02834) - [Takeo Uramoto, *Semi-galois Categories I: The Classical Eilenberg Variety Theory*](https://arxiv.org/abs/1512.04389) - [Ryuya Hora, *Topoi of automata I: Four topoi of automata and regular languages*](https://arxiv.org/abs/2411.06358)

(−)^Xとslice LSC conjecture ## Trigger Nivar論文読解中、λ_j構成の一般化を考えた際、Horaノート末尾の問い「exponential functor (−)^A はΞのどんなendomorphismを誘導するか」がétale caseの言い換えだと気づいた（claudeとの会話より）。 ## Idea ノートの問いは「étale geometric morphism π_X : E/X → E のmonad T = (−)^X が誘導するT̂_X」の言い換え。T̂_Xはinflationary semilattice endoだが非idempotent（idempotenceが落ちる最初の非自明例）。Open question：T̂_Xのfixed points（またはtransfinite iterationの極限）と、ノートのslice LSC conjectureのcomma構成 Ξ_X = X ×_Ξ (≤_Ξ) の関係は何か。embeddingでは「fixed pointsを取ってからlocalize」が答えだったが、étaleで同じレシピが通るかは非自明。 ## Goal 検証の最短ルートはPSh(G)/(H\G) ≃ PSh(H)での具体計算（例：G = S_3）。T̂_{H\G}のfixed pointsと「subgroups of H」の関係を見る。 ## Personal context Horaノート§LSC of slice toposのconjectureと§Exponential structureの問いを接続する。 ## 2026-09-07 追記（Kobin研究継続 run） [[u32zsb]] で解決．\(\hat T_X\)（定義 \(\hat T_X\xi_A=\xi_{A^X}\eta_A\)）は \(\operatorname{supp}X\) だけで決まり idempotent，\(X\to1\) が epi なら恒等射．よって「非 idempotent」という見立ては誤りで，\(G=S_3\), \(X=G/H\) では fixed points は \(\operatorname{Sub}(G)\) 全体，一方 \(\Xi_{/X}\)（[[ybzxdp]]）は \(\Xi\) のどの subobject の pullback でもない（\(\Xi_{/X}\to\Xi\) が mono でない）．「fixed points を取ってから localize」の recipe は étale では通らない．

Origin of ε-transitions ## Trigger 洞の公式 Papers ページにある準備中項目 *An enriched-categorical origin of ε-transition* と、issue #43 の下書き9/Nから瓶化した。準備中の構想なので、以下は論文の確定した主張ではない。 ## Idea オートマトンの ε-transition と ε-closure を、入力を消費しない遷移として外から付け加えるのではなく、適切な enriched category の単位射・合成・自由構成から必然的に現れる構造として説明できるか。 候補となる設計では、quantale または quantaloid 上の enrichment を選び、恒等射が silent step、合成が silent step を含む path closure を担う。何を base とし、通常の labelled transition system をどの underlying structure として回収するかは未確定である。 ## Distinction from existing work 既存の coalgebraic 研究は、ε-transition を持つ system の semantics と ε-elimination を、trace semantics、monad、parametrized fixpoint operator により統一的に扱う。この瓶が問うのは、その処理手続きの再定式化だけではなく、なぜ ε-transition という構造が enriched-categorical data から現れるのかという起源説明である。 ただし、この差分が実際に新しい定理を生むか、既存の enriched automata または coalgebraic framework の言い換えに留まるかは未監査である。 ## Goal ε-transition、ε-closure、Thompson construction を、一つの enriched-categorical construction の具体例として導出する。最初の到達点は、non-deterministic finite automata について base、enriched hom、underlying automaton、closure operation の対応を完全に書き下すことである。 ## Personal context Topoi of automata 系列の定義に「なぜその構造が自然か」という説明を与える候補である。公式ページでは very immature draft として公開されているため、visibility は private、curation は ai-generated のまま保持する。 ## References - [Ryuya Hora, Papers](https://sites.google.com/view/ryuya-hora/papers) - [Silva--Westerbaan, *A Coalgebraic View of ε-Transitions*](https://doi.org/10.1007/978-3-642-40206-7_20) - [Bonchi--Milius--Silva--Zanasi, *Killing Epsilons with a Dagger*](https://doi.org/10.1016/j.tcs.2015.03.024) - [Kasangian--Kelly--Rossi, *Cofibrations and the realization of non-deterministic automata*](https://www.numdam.org/item/CTGDC_1983__24_1_23_0/) - [Kasangian--Rosebrugh, *Decomposition of automata and enriched category theory*](https://www.numdam.org/item/CTGDC_1986__27_4_137_0/)

Classification of covarieties ## Trigger 非公開Overleafノート *Notes on advances of LSC* の covariety classification 節について、issue #43 の下書き6/Nに保存された要約から瓶化した。原ノートそのものは今回再確認しておらず、以下は著者による確認前の result candidate である。 ## Candidate result Grothendieck topos \(\mathcal E\) の covariety を、subquotients と small coproducts で閉じた full subcategory とする。このとき、local state classifier \(\Xi\) の upward closed subobjects と \(\mathcal E\) の covarieties の間に全単射がある、という候補主張である。 issueに保存された証明スケッチの骨格は次の二方向からなる。 1. upward closed subobject \(U\hookrightarrow\Xi\) から、canonical map \(\xi_X:X\to\Xi\) を通じて full subcategory \(\mathcal E_U\) を定め、covariety の閉性を示す。 2. covariety \(\mathcal V\) から各 \(X\) に含まれる最大の \(\mathcal V\)-subobjectを構成し、monic counitを持つ coreflection と order-preserving map \(\gamma:\Xi\to\Omega\) を得る。その classifierが upward closed subobjectを与える。 3. 二つの構成が互いに逆であることを示す。 ## Unverified status - 本瓶の kind: result は、私的ノートに定理・証明スケッチの形で置かれていることを記録する。数学的に検証済みという意味ではない。 - 最大 \(\mathcal V\)-subobjectの存在、coreflectorの functoriality、orderの向き、subquotient閉性との対応、二つの構成の逆性は未監査である。 - 原ノートと照合し、著者が証明を確認するまでは curation: ai-generated と visibility: private を維持する。 - この瓶と付属reportは非公開資料由来のため、public / shareable な成果物へそのままexportしない。 ## Goal 証明スケッチを定義・補題・主定理に分解して監査し、成立するなら、hyperconnected quotientsを \(\Xi\) の internal filtersで分類する既知の定理と並べる。必要なら、covarietyの定義または ambient category の仮定を修正し、正確な一般性を決める。 ## Personal context local state classifier \(\Xi\) が何を統制するかという中心テーマの、未発表result候補である。分類定理として確定すれば、subtopos、hyperconnected quotient、covarietyを内部対象上の構造で比較する表の一項になる。 ## References - 非公開Overleafノート *Notes on advances of LSC*（著者確認前。外部共有不可） - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients* (arXiv:2302.06851)](https://arxiv.org/abs/2302.06851) - [H. Peter Gumm and Tobias Schröder, *Covarieties and complete covarieties*](https://doi.org/10.1016/S0304-3975(00)00123-7)

Coskeletality and contextuality ## Trigger ACT 2026で、Anny Beatriz Azevedo と “Algorithmic and extremal obstructions through the language of cohomology” について話した。論文では、計算問題を部分グラフ $H \subseteq G$ に証明書集合 $F(H)$ を割り当てる presheaf と見て、局所解の matching family が大域解に貼り合わさらない失敗を Čech cohomology、とくに $H^0$ で測る。 その議論の中で、arXiv:2503.03439 に出てくる coskeletality とかなり近いのではないか、という観察をした。特に、そこでの coskeletality は「塗り方・構造の局所データが貼り合わさるか」という話であり、2407.03488 の matching family / amalgamation / obstruction の枠組みと対応して見える。 この観察を、slogan **coskeletality and contextuality** と呼ぶことにする（2026-07-23 に登録簿へ正式登録済み）。 ## Idea 対応はおおよそ次のように見える。 \[ \begin{array}{c|c} \text{coskeletality side} & \text{cohomological obstruction side} \\ \hline \text{small subsets / small substructures} & \text{subgraphs / local instances} \\ \text{compatible colorings or structures} & \text{matching families of certificates} \\ \text{filler} & \text{global solution / amalgamation} \\ m\text{-coskeletal} & \text{local-to-global compositionality} \\ \text{unfillable cycle} & H^0\text{-class / obstruction} \end{array} \] つまり、2407.03488 は “algorithmic coskeletality obstruction theory” の $H^0$ 版として読めるのではないか。 精密には、$m$-coskeletality は \[ X(A)\to \operatorname{Match}_{\le m}(A,X) \] が同型であることに対応し、2407.03488 の言葉では sheaf condition に近い。したがって \[ H^0_m(A,X) := \operatorname{coker}\left( \mathbb Z[X(A)] \to \mathbb Z[\operatorname{Match}_{\le m}(A,X)] \right) \] のようなものを定義すると、$m$-coskeletality の存在側の failure を測る invariant になりそう。 ## Connected bottles / themes この slogan には次の話を入れられる。 - Koriさんとの no-go theorem / 2-coskeletality の議論。局所データがある次数まで整合しても、大域的な choice / section / social choice が存在しないという見方。 - Arrow theorem by arrow theory の話。Arrow の定理を presheaf 的に書き、compatible local preferences と global aggregator の非存在を contextuality として読む方向。 - 既存の Lawvere 4th problem 関連の論文。kobin としては未実装だが、skeletality / coskeletality / essential subtopoi / Aufhebung の文脈で、この slogan に接続できる。 共通点は、どれも \[ \text{local compatibility} \not\Rightarrow \text{global section / filler / solution} \] という形をしていること。これを contextuality と呼ぶなら、coskeletality は「どの次元・どのサイズの局所データまで見れば大域が決まるか」を測る構造であり、両者はかなり近い。 ## Goal coskeletality を「塗り方の張り合わせ」として見たとき、unfillable cycle や lower bound の議論を、Čech $H^0$ 的な obstruction として再解釈したい。 長期的には、algorithmic obstruction, sheafification, coskeletality, Aufhebung, contextuality, no-go theorem, social choice, CSP/distributed computing の局所大域原理を統一する小さな辞書を作る。 ## Personal context 自分の topos theory / quotient topos / hyperconnected-localic factorization への関心と接続する。特に「局所的に見える構造から大域を復元できるか」という問いは、coskeletality, sheaf condition, quotient structure, localic restriction の全てにまたがっている。 2407.03488 は subobject/subgraph 側の local-to-global failure を扱っている。一方、2503.03439 は levels / essential subtopoi / Aufhebung の文脈で skeletality と coskeletality を扱う。ここに、topos-theoretic obstruction theory としての共通言語がありそう。

Conjecture Mainへの反例候補6.6 ## Trigger Nivar論文§6のRemark 6.5「classifier descent（C_j(γ) = γ）とfactorization（Q_γ ⊆ E_j）は別物」という区別が、Horaノート§Module structureのConjecture Mainと衝突する可能性に気づいた（claudeとの会話より）。 ## Idea Conjecture Main：「subtopos fとhyperconnected quotient hについて、f·h = h ⟺ fがhを含む」。NivarのExample 6.6：γ_max（identity quotientのclassifier）は j·γ_max = γ_max を常に満たすが、essential image E は j ≠ id ならE_jに含まれない。「含む」の定義次第でExample 6.6がConjecture Mainの反例になりうる。module作用 f·h の正確な定義（Ω側のみか、C_j = j∘(−)∘λ_jか）との突き合わせが必要。 ## Goal Conjecture Mainの解決（否定的でも可）。descent/factorizationの区別によりmodule構造の理解が精密になる。Lawvere第2問題（subtoposとquotientの相互作用）への部分的回答としての位置づけも明確になる。 ## Personal context Horaノート§Module structure of subtopoi and hyperconnected quotientsのConjecture Mainの検証課題。

理性の自己矛盾と不動点定理 ## Trigger 個人的な思弁から（特定の対話・文献ではない）。untyped lambda calculus と Conway game の個人研究、および 旧slogan「進化論の構造的モデル」（現Speculation）との関わりの中で浮かんだ。 ## Idea 理性の自己矛盾を、不動点定理（自己適用・対角化の系譜）の構造として捉える。 （スタブ: 詳細は後日、洞が追記する。2026-07-07 の口述時点では表題と出所のみ確定） ## Personal context - untyped lambda calculus（自己適用と不動点コンビネータ）の個人研究 - Conway game の個人研究 - 旧slogan「進化論の構造的モデル」（現Speculation）との接続

Internalizing knot spaces in SDG # Internalizing knot spaces in SDG ## Core idea The usual knot space \[ \mathrm{Emb}(S^1,\mathbb R^3) \] may be recoverable as an internal object of a smooth topos, not by externally imposing both injectivity and immersion, but by interpreting the naive internal formula \[ \{f:S^1\to\mathbb R^3 \mid \forall x,y:S^1,\ f(x)=f(y)\Rightarrow x=y \} \] inside a Synthetic Differential Geometry model such as a Cahiers-type topos. The point is that the same formula has different force depending on the available generalized points. ## Contrast with ordinary smooth sets In smooth sets or diffeological spaces, the internal injectivity condition only says that a smooth family \[ F:U\times S^1\to\mathbb R^3 \] has pointwise injective fibres \[ F_u:S^1\to\mathbb R^3. \] This does not force the immersion condition. For example, \[ f(e^{it})=(\sin^3 t,\cos t,0) \] is injective but has zero derivative at \(t=0,\pi\), so it is not a smooth embedding. Thus, in ordinary smooth-set or diffeological semantics, \[ \mathrm{Inj}(S^1,\mathbb R^3) \] is too large to be the knot space. ## SDG insight In a Cahiers-type topos, the universal quantifiers over \(S^1\) range over infinitesimal generalized points as well as ordinary points. If \(f:M\to N\) has a critical direction, say \[ df_p(v)=0 \] for some nonzero tangent vector \(v\in T_pM\), then an infinitesimal point \[ x(d)=p+dv \] cannot be separated from \[ y(d)=p \] by \(f\), because \[ f(p+dv)=f(p)+d\,df_p(v)=f(p). \] Therefore internal injectivity in SDG detects not only ordinary injectivity but also infinitesimal separation, i.e. immersion. For \(S^1\to\mathbb R^3\), injective immersion is equivalent to smooth embedding because \(S^1\) is compact and \(\mathbb R^3\) is Hausdorff. Hence the expected slogan is: \[ \mathrm{Inj}_{\mathrm{Cahiers}}(S^1,\mathbb R^3) \quad\text{recovers}\quad \mathrm{Emb}(S^1,\mathbb R^3) \] at ordinary stages, while giving a formal infinitesimal enhancement internally. ## Possible research direction Study the object \[ \mathrm{Inj}_{\mathcal E}(S^1,\mathbb R^3) \] in a well-adapted SDG topos \(\mathcal E\), and compare its ordinary reflection with the classical embedding space of knots. Questions: 1. For which SDG models does internal injectivity of ordinary manifolds coincide with injective immersion? 2. Does the internal object give a useful formal thickening of the classical knot space? 3. Can isotopy, knot invariants, or Vassiliev-type discriminants be expressed internally? 4. Can this viewpoint relate embedding calculus, diffeological knot spaces, and SDG? 5. Is there a clean internal definition of the quotient \[ \mathrm{Emb}(S^1,\mathbb R^3)/\mathrm{Diff}(S^1) \] as the space of unparametrized knots? ## Caveat This is currently a speculative packaging of standard ingredients: smooth mapping spaces, internal logic, diffeological spaces, and infinitesimal tests in SDG. The key model-dependent claim to verify is that Cahiers-internal injectivity of ordinary maps is exactly injective immersion.

EM(Giry)上のBayesian inversion ## Trigger 既存の瓶2本を並べたときに見える合流点として、AI（Claude Fable）が生成した瓶。 [[m8g3qe]] は「射ではなく対象の側を確率化する」（Giry monad の Eilenberg–Moore 圏）を問い、 [[tzmzm7]] は「ベイズの定理は Bayesian inversion の脱圏化された影」と見る。 どちらも Markov 圏の周辺にいて、片方は対象側、もう片方は射側の話をしている。 ## Idea Bayesian inversion は Kleisli 側（$\mathrm{Stoch} = \mathrm{Kl}(G)$、$G$ は Giry monad）の構造である: state $p\colon I \to X$ と射 $f\colon X \to Y$ から、条件付けにより $f^\dagger_p\colon Y \to X$ を得る （Cho–Jacobs の string diagram による定式化）。 一方 [[m8g3qe]] の対象側確率化は Eilenberg–Moore 圏 $\mathrm{EM}(G)$ を見る。 標準の comparison functor $\mathrm{Kl}(G) \to \mathrm{EM}(G)$ があるので、次が問える: - Bayesian inversion は comparison functor に沿って $\mathrm{EM}(G)$ 側へ持ち上がるか。 $\mathrm{EM}(G)$ の射は（確率性を対象側の代数構造に吸収した）代数準同型だが、 その世界で inversion に対応する構造は何か。 - 予想の候補: inversion の prior 依存性（$f^\dagger_p$ は $p$ に依存する）は、EM 側では 「点付き対象」ないし対象上の重みとして吸収され、inversion は dagger というより （重み付きの）双対・随伴に近い形で現れるのではないか。 - [[tzmzm7]] の語彙で言えば: 脱圏化が「どの prior か」の情報を正規化に潰すのと同様に、 Kleisli → EM の移行は「確率性の置き場所」を射から対象へ移す。 この2つの「情報の移送」を1枚の図式で比較したい。 注意（未検証）: 「conditionals を持つ Markov 圏から couplings のなす dagger 圏が得られる」 という趣旨の既存研究があるはずだが（Fritz 学派・Cho–Jacobs 周辺）、正確な文献は未同定。 磨きの際に要確認。 ## Goal 「射側の確率化（Markov 圏 / Kleisli）」と「対象側の確率化（EM 代数・凸構造）」の間で ベイズ反転がどう翻訳されるかの辞書が1行でも書ければ、[[m8g3qe]] の Giry 型代数の 内在的な意味づけに、[[tzmzm7]] の「反転の脱圏化」とは独立な動機がもう1つ与えられる。 旧slogan「stochastic objects」と「貨幣とアーベル化」（現Categorical Models of Computation / Speculation）を繋ぐ最初の橋になる。 ## Personal context この瓶は AI が既存の瓶2本から生成した合流の提案で、洞の確認を経ていない （curation: ai-generated）。磨くときの観点: (1) 上の未検証文献の同定、(2) $\mathrm{EM}(G)$ の具体的な記述との整合（[[m8g3qe]] の調査と合流させる）、 (3) そもそもこの問いが洞の関心の向きと合っているか。

ベイズの定理は脱圏化された影 ## Trigger ChatGPTとのMarkov圏の文献読み（ACT2026関連の読書の流れ）から。洞の観察（原文）: > ベイズの定理は、移項によって方程式を時間逆向きに解くことに似ている。逆向き操作が割り算/正規化として現れる点だけが違う。 ## Idea スカラーのベイズ式 P(x|y)=P(y|x)P(x)/P(y) は、Markov圏で joint state を逆向きに再分解する Bayesian inversion の成分表示に落ちた影。同じ型で、貨幣もまた「豊かな交換過程の脱圏化/アーベル化されたスカラー的痕跡」ではないか。÷P(y)（正規化）⇄ 値付け・会計の締め、という辞書。 ## Next questions - 「価格」の圏論的対応物は何か（measure / trace / coend / 脱圏化不変量?） - 貨幣を、非可換・文脈依存な交換過程から可換な価値対象への普遍射として定式化できるか - 「移項」という操作自体が、過程の向き反転の脱圏化された影か

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]] 側に記録する。

Object-side stochasticization # Object-side stochasticization and Giry-like algebras beyond Meas ## Trigger *Source: ChatGPT discussion while reading nLab Markov category page, Giry monad page, and ACT2026 Session B materials.* Ryuya's observation: > If Markov categories arise because we start from deterministic objects such as `Set`/`Meas` and stochasticize only the morphisms, then there should also be a suitable stochasticization of objects. The Eilenberg--Moore category of the Giry monad should be a candidate for that. Immediate correction by Ryuya: > Characterizing Giry-algebras inside `Meas` is probably the wrong direction because `Meas` itself is a bad base category. Instead, use a better generalized-space setting, e.g. Lawvere-style codiscrete/cohesive topoi or the topos of light condensed sets, and then axiomatize the categorical structure of "Giry-algebras" in the same spirit that Markov categories axiomatize stochastic maps. Further refinement by Ryuya: > Like Johnstone's topological topos, maybe we should consider a topos generated by standard Borel spaces. This resembles the earlier idea of a topos generated by abstract hash values, and also resembles the synthetic differential geometry pattern: choose the right generating test objects, then build a topos/internal language around them. This should be remembered as a research seed, not as a settled claim. ## Revised core idea The safe slogan is no longer simply: ```text Giry EM algebras = stochasticized objects. ``` Rather: ```text Markov categories axiomatize stochastic morphisms without committing to Meas. We want an analogous axiomatics for stochasticized objects / barycentric objects, preferably internal to a good topos or generalized space category. ``` There are two canonical monadic presentations: ```text Kleisli: same objects, stochastic/effectful morphisms C_T(X,Y) = C(X, T Y) Eilenberg--Moore: changed objects, deterministic morphisms preserving T-structure object = (A, a: T A -> A) ``` But `Meas^Giry` may be the wrong literal target. The intended object-side structure is more abstract: ```text an object A equipped with coherent barycenter / averaging / integration operations, formulated in a base category whose spaces are better behaved than Meas. ``` ## Conceptual distinction to investigate - `Kl(T)` stochasticizes morphisms. - `C^T` stochasticizes objects. - Markov categories abstract away from the bad concrete category of measurable spaces by axiomatizing copy/delete/normalization/conditioning behavior. - The desired new project is to abstract away from `Meas^Giry` similarly: axiomatize the object-level structure of probability absorption / barycenters / integration. Possible slogan: ```text Markov category : stochastic maps, axiomatically. Giry-like algebra category : stochastic objects, axiomatically. ``` ## Lawvere question Question to investigate: > Did Lawvere already formulate an object-side, topos-based axiomatics of probabilistic/barycentric objects, perhaps in codiscrete/cohesive/topos-of-continuum work? First-pass status: - Lawvere did initiate the categorical study of probabilistic mappings / Markov kernels in 1962. - Lawvere also pushed topos-theoretic foundations for continuum physics and argued that a topos should be viewed as an algebra of continuous set-valued functions on a generalized space, rather than naively as the generalized space itself. - I have not yet found evidence that Lawvere explicitly gave the desired modern axiomatics: "Giry-algebra-like stochastic objects inside a good topos, analogous to Markov categories for stochastic morphisms." - The closest Lawvere-adjacent line may be algebraic theories/toposes and integration as an infinitary or sheaf/topos-internal algebraic theory. ## Candidate construction: standard-Borel-generated topos This is the new proposed direction. Analogy: ```text Johnstone topological topos: choose topological/interval-like generating data build a topos in which realization/topological structure has an internal language SDG / Cahiers-style toposes: choose infinitesimal test objects build a topos in which infinitesimal calculus is internal Proposed Borel/probability topos: choose standard Borel spaces / countably generated measurable tests build a topos in which measurable/probabilistic structure is internal ``` The point is not to turn `StdBorel` itself into a topos. It is to use standard Borel spaces as a site/generating class, analogous to using infinitesimal algebras or Cartesian spaces in SDG, or topological generators in Johnstone-style topological topos constructions. Possible site sketches: ```text BorelTest = small skeleton of standard Borel spaces E_Bor = Sh(BorelTest, J_Bor) ``` Key question: what is the right coverage `J_Bor`? Candidates to test: 1. coverage generated by countable measurable partitions; 2. coverage generated by Borel surjections/quotients; 3. coverage generated by standard probability kernels or disintegration-friendly maps; 4. coverage generated by countably separating families of Borel maps to `[0,1]` or `2^N`; 5. a regular/canonical topology induced by the embedding into a better topological category such as Polish/QCB/light-condensed. Expected benefit: - `Standard Borel` is much better behaved than arbitrary `Meas`: it is countably generated/separated, closed under countable products and coproducts in good cases, and regular conditional probabilities exist in standard Borel settings. - It may supply the correct test-object category for probability, just as infinitesimal objects supply the correct test category for SDG. Potential danger: - All uncountable standard Borel spaces are Borel-isomorphic, so naive object geometry collapses. The topology/coverage/probability doctrine must retain more than bare Borel isomorphism type. - A mere sheaf topos on `StdBorel` may internalize measurable sets but not automatically probability, kernels, integration, or barycenters. - Need to decide whether probability is a monad, a doctrine, a valuation object, or an algebraic/geometric theory internal to the generated topos. ## Link to abstract hash-value generated topos Ryuya's earlier "abstract hash value generated topos" idea seems structurally similar: ```text choose a class of observable/test values H build a topos generated by H-tests study objects through their H-valued observations ``` Standard Borel spaces could play the role of a continuous/probabilistic analogue of hash values: ```text hash/test value idea: generated by abstract observation tokens standard Borel idea: generated by measurable observation spaces SDG idea: generated by infinitesimal probes ``` The common pattern is: ```text not: start with a bad concrete category and characterize its algebras but: choose the right probes, generate a topos, then axiomatize the intended internal structure. ``` ## Prior research located in first pass ### 1. Markov categories and Kleisli probability monads - Tobias Fritz, "A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics" (2019/2020). - Develops Markov categories as a synthetic probability framework. - Treats conditioning, disintegration, conditional independence, sufficient statistics abstractly. - arXiv: https://arxiv.org/abs/1908.07021 - Tobias Fritz, Tomas Gonda, Paolo Perrone, Eigil Fjeldgren Rischel, "Representable Markov Categories and Comparison of Statistical Experiments in Categorical Probability" (2020). - Introduces representable Markov categories, where one can talk internally about spaces of distributions. - Explicitly relates Markov categories and Kleisli categories of probability monads. - arXiv: https://arxiv.org/abs/2010.07416 - Sean Moss and Paolo Perrone, "Probability monads with submonads of deterministic states" (LICS 2022 extended version). - Directly relevant to the pure/deterministic tension. - In Markov categories, deterministic morphisms are defined by copying/discarding equations; in monadic semantics, pure maps live in the base category. - Studies sober objects and sobrification for probability monads, including the Giry monad. - arXiv: https://arxiv.org/abs/2204.07003 - Eigil Fjeldgren Rischel, "The Universal Property of Measure-Theoretic Probability" (2025). - Gives a universal property of `BorelStoch`, the Markov category of standard Borel spaces and Markov kernels. - Important for any standard-Borel-generated direction. - arXiv: https://arxiv.org/abs/2512.15485 ### 2. Giry Eilenberg--Moore algebras as a warning case, not the endpoint - Ernst-Erich Doberkat, "Eilenberg-Moore algebras for stochastic relations" (Information and Computation, 2006). - Earlier work on EM algebras for stochastic/probabilistic relations. - Need to inspect details and limitations, especially Polish/continuity assumptions. - Kirk Sturtz, "The factorization of the Giry monad" (2017). - Claims/factors Giry monad through convex measurable spaces. - arXiv: https://arxiv.org/abs/1707.00488 - Tomas Crhak, "On functors from category of Giry algebras to category of convex spaces" (2018). - Important warning: refutes a too-strong equivalence claim between convex spaces and Giry EM algebras. - Shows no such simple equivalence exists in the asserted form. - arXiv: https://arxiv.org/abs/1804.01345 - Tomas Crhak, "A note on sigma-algebras on sets of affine and measurable maps to the unit interval" (2018). - Gives counterexamples concerning sigma-algebras used in Sturtz's earlier proof. - arXiv: https://arxiv.org/abs/1803.07956 - Kirk Sturtz, "Characterizing Giry-algebras as coseparable super convex spaces" (2019). - Withdrawn. The arXiv page says there is a fundamental error related to the claim that the category of Giry algebras has a coseparator. - Keep as a warning not to overidentify Giry algebras with convenient convex spaces. - arXiv: https://arxiv.org/abs/1907.03209 ### 3. Better base categories / topological and topos-like directions - Peter Johnstone, "Aspects of Topology" / topological topos line. - Johnstone's topological topos was designed to present geometric realization as a geometric morphism between toposes. - This is the main analogy for a standard-Borel-generated topos. - Jean Goubault-Larrecq and Xiaodong Jia, "Algebras of the extended probabilistic powerdomain monad" (2019). - EM algebras of valuation/probabilistic powerdomain monads on `TOP_0` are characterized as locally convex sober topological cones; algebra maps are continuous linear maps in key cases. - Very relevant as a topological analogue of "objects that absorb probability by barycentres". - arXiv: https://arxiv.org/abs/1903.07472 - Tobias Fritz and Paolo Perrone, "A Probability Monad as the Colimit of Spaces of Finite Samples" (2017). - Builds a probability monad on complete metric spaces via a colimit of finite samples. - Develops integration and measures-on-measures without ordinary measure theory. - Algebras are equivalent to closed convex subsets of Banach spaces with short affine maps. - arXiv: https://arxiv.org/abs/1712.05363 - Peter Kristel and Benedikt Peterseim, "A Topologically Enriched Probability Monad on the Cartesian Closed Category of CGWH Spaces" (2024). - Constructs a Riesz probability monad on CGWH spaces, extending Radon and Giry and enriched topologically. - Restriction to QCB spaces is strongly affine, making independence/determinism interact well. - arXiv: https://arxiv.org/abs/2404.08430 - Ruben Van Belle, "Probability monads as codensity monads" (2021). - Constructs probability monads from categorical/codensity data over countable distributions and uses integral representation theorems. - Relevant to rebuilding probability without committing to raw Meas. - arXiv: https://arxiv.org/abs/2111.01250 - Zev Shirazi, "Commutativity and liftings of codensity monads of probability measures" (2024). - Studies commutativity, affineness, liftings of probability monads, and exact pointwise monoidality. - Notes a specific obstruction for the Giry monad: probability bimeasures need not extend to measures, while standard Borel restrictions behave better. - arXiv: https://arxiv.org/abs/2405.12917 - Felix Cherubini, Thierry Coquand, Freek Geerligs, Hugo Moeneclaey, "A Foundation for Synthetic Stone Duality" (2024). - Uses the higher topos corresponding to light condensed sets, with HoTT axioms, to do synthetic topology. - Not probability-specific, but important as a candidate base topos direction. - arXiv: https://arxiv.org/abs/2412.03203 ### 4. Lawvere-theory / sheaf-topos algebra of integration - Boaz Haberman, "Algebraic theories and commutativity in a sheaf topos" (2018). - Defines `C`-ary Lawvere theories for a site of definition of a Grothendieck topos. - Categories of models form stacks over the topos and are complete/cocomplete in the internal sense. - Gives a convenient category of linear spaces generated by the theory of Lebesgue integration. - This looks closer to Ryuya's desired "axiomatize Giry-algebra-like structure in a topos" than direct `Meas^Giry` characterizations. - arXiv: https://arxiv.org/abs/1803.09378 - Tom Leinster, "A categorical derivation of Lebesgue integration" (2020). - Characterizes `L^p` spaces and integration via universal properties. - Not directly a topos/Markov-category axiomatics, but useful for treating integration as universal structure rather than as sigma-algebra technology. - arXiv: https://arxiv.org/abs/2011.00412 ## Research question Can we formulate an axiomatic theory of stochasticized objects in a good generalized-space environment? Possible formulation: ```text Input: a cohesive/codiscrete/light-condensed/topos-like category H a probability/integration doctrine P on H Output: an axiomatic category of P-algebras / barycentric objects / integration objects analogous to Markov categories, but object-sided rather than morphism-sided. ``` Desired properties: 1. Do not begin with `Meas`. 2. Treat barycenters/integration as primitive universal/categorical structure. 3. Recover classical Giry/Radon/Kantorovich examples by realization functors. 4. Interact with Markov categories via a Kleisli/EM or representability bridge. 5. Ideally support an internal language in a topos or cohesive/light-condensed setting. 6. Consider a `StdBorel`-generated topos as an intermediate candidate between raw `Meas` and light-condensed/cohesive worlds. ## Possible connection to Ryuya's existing themes - Local state classifiers: compare state classifiers with barycenter/integration classifiers. Both may be classifier objects for a fibration/doctrine of local observations. - Topoi of automata / dynamical systems: ask whether probability/possibility doctrines in presheaf or sheaf topoi yield stochasticized automata/state objects. - Quotient/hyperconnected themes: object-side stochasticization may be a quotient/completion process over deterministic state spaces. - Abstract hash-value generated topos: compare hash/test-value generation with standard-Borel/measurable-test generation. - ACT2026 Session B: - Talk 1: normalized stochastic kernels expose limits of Kleisli-style stochastic morphisms under normalization. - Talk 2: definable Markov categories restrict which stochastic morphisms/conditionals remain tame. - Talk 3: possibilistic belief objects may be an object-side classifier for updating, analogous in spirit to EM/power-object structure. ## Immediate next actions 1. Treat `Meas^Giry` as a warning/example, not as the foundation. 2. Search Lawvere archives for continuum physics, codiscrete/cohesive topos, integration, and probability references. 3. Read Haberman 2018 before Giry-algebra characterization papers; it is closer to a sheaf/topos algebraic-theory route. 4. Read Fritz--Perrone 2017 and Kristel--Peterseim 2024 for non-Meas probability monads with better algebra categories. 5. Read Cherubini--Coquand--Geerligs--Moeneclaey 2024 for light-condensed internal topology; then ask what probability/integration doctrine should live there. 6. Formulate an abstract definition candidate: "barycentric Markov object category" or "probability-algebra doctrine". 7. Compare with representable Markov categories: are distribution objects `P X` free stochasticized objects, or do they live in a separate EM-like world? 8. Make a toy site from a small skeleton of standard Borel spaces and test candidate coverages: countable partitions, Borel quotients, and observation maps into `[0,1]` or `2^N`. 9. Check whether `BorelStoch`'s universal property can be restated as a universal property of a generated topos plus an internal probability doctrine. ## Warning Do not state naively that `GiryAlg` is simply `Convex spaces`. The literature contains corrections and subtleties, and one Sturtz characterization paper was withdrawn. The safe conceptual claim is: ```text Giry EM algebras are spaces equipped with a coherent barycenter/expectation operation for probability measures, but Meas may be the wrong base category for the theory Ryuya wants. ``` The exact equivalence with convex/superconvex/measurable structures depends on separation, measurability, set-theoretic hypotheses, and the chosen base category.

Sub(1)実現問題の随伴化 ## Trigger chatgptで「任意のHeyting algebraは小さいelementary toposの(mathrm{Sub}(1))として実現できるか」というPittsの問題を検討した際，洞が，既存の具体的構成を追うより [ mathcal Elongmapsto mathrm{Sub}_{mathcal E}(1) ] を2-functorとして書き，その随伴を見る方が構造的ではないかと提案した． ## Idea 適切な2-category of small elementary topoiとHeyting algebrasを選び， [ T:mathbf{ETop}^{mathrm{log}}_{mathrm{sm}}longrightarrowmathbf{Heyt}, qquad T(mathcal E)=mathrm{Sub}_{mathcal E}(1) ] を定義する．(T)にleft biadjoint (L) が存在するかを調べ，存在すればclosure-like endofunctor [ C:=T L ] を解析する．Pittsのessential-surjectivity問題を，unit (H o C(H)) が同型になる条件，または(C(H) woheadrightarrow H)という自然なretraction／quotientを構成する問題へ移す． (mathrm{Sub}(1))だけではsubstitutionを失うため，必要なら対象をhyperdoctrine [ mathcal Elongmapsto mathrm{Sub}_{mathcal E}(-) ] へ持ち上げ，その後global truth-value部分へ戻す． ## Goal Heyting algebraのtopos実現問題を，個別構成ではなく2-adjunction・monad・essential imageの問題として再定式化する．2-categoryの射の選択，smallness，biadjointの存在が最初の技術課題である．

世界平和の様相論理 ## Trigger chatgptで洞が「国家安全保障 × modal logic」を研究テーマとして記憶させ，問いを「ゲーム理論的に実現可能な世界平和はあるのか．ないなら様相論理でどう実現できるか」と定めた． ## Idea 世界平和を単一のpayoff profileのequilibriumとしてだけ定義せず，次のmodal structureの同時充足として定式化する． - epistemic logic：相互の意図・能力・commitmentに関するbeliefとcommon knowledge - deontic logic：攻撃禁止・保護義務・例外規則 - coalition logic / strategic ability：coalitionが破壊行為を防げる能力 - dynamic epistemic logic：査察・情報公開・条約締結によるmodel update - institutional modality：命令・権限・監督・制裁の到達可能性 まず通常のrepeated/stochastic gameでpeaceful statesの安定性にno-go theoremがあるかを調べる．不可能または脆弱なら，制度・情報更新をworld/frameそのものの変換として加えることで，peaceを「均衡」から「保たれるmodal invariant」へ持ち上げる． ## Goal 「peace as equilibrium」と「peace as modal structure」の差を数学的に定式化し，ゲーム理論的不可能性がどの追加modal assumptionsで回避されるかをcharacterizeする．toposとの接続は現段階で強制せず，game theoryとmodal logicの近傍から始める．

力学系トポスの商とcohomology ## Trigger chatgptで洞が，離散力学系トポス [ mathbf{Set}^{Bmathbb N} ] のcohomologyを計算し，そのhyperconnected quotientのcohomologyとの関係をspectral sequenceで調べるよう提案した． ## Idea (mathbb N)-action ((M,T)) を係数とすると，標準resolutionから [ H^0(Bmathbb N;M)=ker(T-1),qquad H^1(Bmathbb N;M)=operatorname{coker}(T-1),qquad H^n(Bmathbb N;M)=0quad(nge2) ] を基準計算とする． hyperconnected quotient (q:mathcal E omathcal H) ごとに，global sectionsの合成に対するGrothendieck/Leray spectral sequence [ E_2^{p,q}=H^p(mathcal H,R^q q_*M) Longrightarrow H^{p+q}(mathcal E,M) ] を構成し，quotientを分類するgenerative orderや対応する(mathbb N)-actionのrelationから (R^q q_*M) を明示する．cohomological dimensionが1であることにより，どこまで短完全列へ退化するかを調べる． ## Goal 離散力学系トポスのhyperconnected quotientsを，既存の分類だけでなくcohomology変化で比較する．最初の課題は，分類済みquotientそれぞれについて(q_*)とそのderived functorsを具体化し，spectral sequenceの仮定とvarianceを厳密に確認することである．

CFL曖昧性nerve ## Trigger chatgptでcontext-free languageのCesàro型密度問題を検討した際，洞が「unambiguousな場合は解けるなら，ambiguityを高次のtermの一致のようなcohomologyで捉えれば収束を示せるのでは」と提案した． ## Idea grammarのderivation集合からwordへのparse mapを取り，そのČech nerve（またはbar complex）でambiguityを符号化する．同じwordを与える複数のparseは1次の重なり，高次に一致するparse族は高次のsimplicesとして現れる．language membershipのBoolean ORを，このnerveのEuler characteristic的な交代和で置き換えることを試みる． 各高次交差項がCesàro平均に関してacyclicまたはnegligibleであることを示せれば，unambiguous caseの収束をambiguous CFLへ持ち上げられる可能性がある． 最初の明確なtest problemは， [ U,Vinmathrm{UCFL}(A)quadLongrightarrowquad Ucap V ext{ はCesàro密度を持つか} ] を証明または反証することである． ## Goal CFLのambiguityを「parseの個数」ではなく高次のgluing dataとして測る不変量を作り，Cesàro密度問題の収束証明または反例探索に使う．現段階ではuncheckedであり，Euler characteristic展開の正当化と高次項の一様評価が主要な障害である．

始代数Kruskalの逆数学 ## Trigger chatgptで「Kruskal型の逆数学に対する統一的手法」という講演構想を読解した．長谷川立やAnton Freundによる，Kruskal theoremをinitial algebra・recursive datatypeへ一般化する研究と，Pakhomov–Walshによるreflection principleの反復を同じ図に置いたことが出発点である． ## Idea polynomial functor等のinitial algebra [ mu F ] に，材料となるwqoから誘導される埋め込み順序を入れる．「(mu F)がwqoである」というKruskal型定理のreverse-mathematical strengthを，(F)に付随するordinal/dilator dataから構成したreflection principleのiterationとして一様に計算できるかを問う． 目標は個々のtree theoremを別々に分析することではなく， [ Flongmapsto ext{reflection rank of the Kruskal theorem for }mu F ] という構造的対応を作ることである．List，finite tree，一般のWPO-dilatorを最初の比較対象とする． ## Goal initial algebraの圏論的構造とproof-theoretic ordinal／reflection rankを結び，Kruskal型reverse mathematicsの統一計算法を与える．既存研究の組合せから生じたprogramであり，新規性と実現可能性は未確認．

When is Fam(C) a topos? ## Trigger 公式 Problems 4.0.4 と issue #43 の下書き12/Nから移した。Hora, *Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor* は、Grothendieck topos \(\mathcal E\) に対する family construction \(\operatorname{Fam}(\mathcal E)\) が completely connected Grothendieck topos になることを証明している。この十分条件を、一般の圏 \(\mathcal C\) に対する必要十分条件へ広げたい。 ## Idea 圏 \(\mathcal C\) の free small coproduct completion \[ \operatorname{Fam}(\mathcal C) \] が Grothendieck topos になるのは、ちょうどいつか？ 条件は \(\mathcal C\) 自身が Grothendieck topos である場合より広い可能性があるため、次の段階に分けて調べる。 1. \(\operatorname{Fam}(\mathcal C)\) が finite limits を持つための \(\mathcal C\) 上の familial limit 条件。 2. cartesian closedness と subobject classifier が存在するための条件。 3. exactness、small colimits、small generating family など Giraud axioms に対応する条件。 4. 得られた条件を、\(\operatorname{Fam}(\mathcal C)\) の connected / indecomposable objects が作る部分圏から内在的に復元できるか。 ## Known partial structure 公開論文は次を与える。 - \(\mathcal E\) が Grothendieck topos なら、\(\operatorname{Fam}(\mathcal E)\) は completely connected Grothendieck topos である。 - completely connected topos \(\mathcal T\) がある Grothendieck topos \(\mathcal F\) の \(\operatorname{Fam}(\mathcal F)\) と同値になるための条件を、container object \(\nu\) と connected objectsを用いて記述している。 また、Cockett の familial products の理論は、\(\operatorname{Fam}(\mathcal C)\) が finite products を持つことを \(\mathcal C\) 上の familial finite products によって特徴づける。これは必要条件の最初の層だが、Grothendieck topos の完全な特徴づけではない。 ## Goal Giraud axiomsを \(\mathcal C\) 上の検査可能な条件へ移し、十分性と必要性を証明する。さらに、得られる \(\operatorname{Fam}\)-型 topoi を completely connected topoi の中で内在的に特徴づけ、既知の family construction theorem とその converse remark を一つの分類定理にまとめる。 ## Personal context これは completely connected topoi の研究系列における構造問題である。既存sloganには対応する登録語がないため、本瓶では slogan を付けず、新設もしない。 ## References - [Ryuya Hora, *Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor* (arXiv:2503.04317)](https://arxiv.org/abs/2503.04317) - [Ryuya Hora, Problems 4.0.4](https://sites.google.com/view/ryuya-hora/problems) - [J. R. B. Cockett, *Introduction to distributive categories*](https://doi.org/10.1017/S0960129500000232) ## 2026-08-26 AI研究監査：概念的分類と Giraud 条件の分解 Kawase の categories-of-families characterization により，概念的には \[ \operatorname{Fam}(\mathcal C)\text{ が Grothendieck topos} \Longleftrightarrow \mathcal C\simeq\operatorname{Conn}(\mathcal T) \] となる locally connected Grothendieck topos $\mathcal T$ が存在する．これは完全な外在的分類だが，$\mathcal C$ 上の operational checklist にはまだなっていない． intrinsic な最初の三層は次の通り． 1. $\operatorname{Fam}(\mathcal C)$ が cocomplete であることと，$\mathcal C$ がすべての small connected colimits を持つことは同値．一般の family diagram の colimit は index の Grothendieck construction の connected components ごとに $\mathcal C$ で colimit を取る． 2. $\operatorname{Fam}(\mathcal C)$ が subobject classifier を持つことと，$\mathcal C$ が terminal object $1$ と subobject classifier $t:1\to\Omega_{\mathcal C}$ を持つことは同値．このとき classifier は二成分 family $(1,\Omega_{\mathcal C})$ で，第一成分が empty subfamily，第二成分が nonempty mono を分類する． 3. finite limits は $\mathcal C$ 上の familial finite-limit conditions に対応する．connected finite limits は $\mathcal C$ 内で計算され，products は product functors の familial representability を要求する． 残る核心は exactness と small generating family を同じ精度で $\mathcal C$ 上へ翻訳すること．