着想 #238

関手的力学系とLSC ## Trigger arXiv math.CT デイリーで拾った Bangxin Wang, *Dynamical Systems as Functorial Realisations of Abstract Evolution Shapes* (arXiv:2607.17455)。閉力学系を関手 X: S → C（S は "evolution shape"）として定式化し、invariant subsystem・orbit・cosieve ベースの eventuality filter・categorical Lyapunov principle を展開する。topos theory は使われていない。claude との会話で LSC との対応に気づいた（本文は §1 までしか未確認、以下の §3 に関する記述は要検証）。 ## Idea C = Set のとき Wang の力学系は copresheaf topos [S, Set] の対象であり、Hora の local state classifier の理論と2点で交差する。 1. **ξ は普遍的な「orbit を取る」写像**。x ∈ X(s) に対し ξ_X(x) は分類射 y(s) → X の image factorization y(s) ↠ ⟨x⟩ が与える quotient、すなわち x の orbit の抽象型。presheaf topos での計算 Ξ(s) = {y(s) ↠ Q} は「shape S 上の抽象 orbit の moduli」と読める。Wang の functorial orbit / invariant subsystem は ξ の言葉で書き直せるはず。 2. **Eventuality filter は hyperconnected quotient を定める**。Wang の eventuality filter は各 stage の cosieve の filter = Ω(s) の元の族。cosieve L は Rees quotient y(s) ↠ y(s)/L で Ξ(s) の元を定め、filter は semilattice hom Ξ → Ω を誘導する形になっている。Internal Parameterization により対応する hyperconnected quotient は「eventual behavior の topos」（S = ℕ なら tail filter、まさに "Quotients of Set^ℕ" の主題）。Wang の収束「任意の近傍に eventually factor する」は、この quotient topos における包含の言明として再解釈できると予想。 さらに：Internal Parameterization は「shape S 上に乗りうる eventuality 概念の完全な分類」を与えると読み替えられる。Wang の categorical Lyapunov principle（sublevel neighbourhood による安定性判定）を Ξ → Ω・quotient topos の internal language で再定式化できれば、「Lyapunov 関数はある種の internal filter への近似である」という誰もやっていなさそうな主張になる。 ## Goal - 力学系の古典概念（orbit, ω-limit, Lyapunov 安定性）に LSC 由来の内在的・topos 的意味を与える。 - 「eventual behavior topos」を経由して Set^ℕ の quotient 研究と力学系の収束理論を接続する。 ## Personal context Ξ の "local state" という命名の力学系的実質化。既存の瓶では SmoothSet の LSC（Conley index 方向）や Higher Topos of Dynamical Systems と同じ「LSC × 力学系」クラスタに属するが、こちらは discrete/functorial な設定で eventuality filter という具体的な橋がある点が新しい。要検証：Wang の §3 で eventuality filter に precomposition-stability（internal filter になる条件）が課されているか。