投稿

Conley index入門の読解 ## Trigger Konstantin Mischaikow, *The Conley Index Theory: A Brief Introduction* (Banach Center Publications 47, 1999) の画像をきっかけに、内容の survey と review を行った。これはユーザー由来の新しい定理・予想ではなく、既存瓶 `dpufpe`（Conley index の categorical/topos theoretic な読み替え）を支える文献読解メモである。 ## Question isolated invariant set、isolating neighborhood、index pair、pointed homotopy type `N/L`、continuation invariance という Conley index の基本構成を、local state classifier や quotient/topos 的構成と接続できるか。特に、index pair の選択に依存しない不変量を categorical にどう表現するか。 ## Literature note この論文の長所は、非線形力学系で「個々の軌道を解く」のではなく、孤立不変集合を近傍と出口集合から抽出する思想を短く示す点にある。導入としては強いが、証明・具体例・計算手順は薄く、1999年以後の combinatorial dynamics、data-driven computation、hybrid systems への展開は別文献で補う必要がある。 ## Next step 同じ論文集の Mrozek, *Construction and Properties of the Conley Index* を読み、単純な saddle または periodic orbit について index pair と `N/L` を手計算する。その上で `dpufpe` の categorical/topos 的問いに必要な構造を切り分ける。

Lawvere第2問題の3つの読み ## Trigger Nivar Anwer の第2草稿 *A finite counterexample to Lawvere's composite-inclusion problem*（2026-07-12 受領、19頁）を精読し、Lawvere 原文（nLab 掲載 PDF、2009-04-04、確認日 2026-07-25）と突き合わせた結果（claudeとの会話より）。草稿本体の数学は手計算＋有限モデルの機械検証で誤りなしと判定したが、「Lawvere 第2問題」の形式化が3通りに分岐し、そのどれを解いたのかで評価が変わることが判明した。 ## Idea Lawvere 問題 (2) の第2 closure operator「subtopos に対し composite が inclusion になる最小の quotient」は、少なくとも3通りに形式化できる。subtopos `i`、quotient `q`、`T = i_*i^*`、`C = q^*q_*` として - **R-reading**: `Q_i = {q : qi は inclusion}`（判定 `α : TCT → T` が iso）に最小元があるか。Lawvere の文言そのまま。 - **H-reading**: `H_i = {q : EssIm(i_*) ⊆ EssIm(q^*)}`（判定 `γ : CT → T` が iso）に最小元があるか。`H ⊆ R` で逆は偽。closure operator は extensive なので、Lawvere の lattice（lex subcategory の包含順序）で書くと**こちらが正しい形式化**になる。 - **hyperconnected-reading**: `Q_i^{hyp} = {hyperconnected q : qi は inclusion}` に最小元があるか。Hora の枠組み（`Ξ` の internal filter による分類）で意味を持つ版。 Nivar の反例（`C = ⟨a --s--> v --t--> a | (ts)²=ts⟩` 上の presheaf topos、`A = M = {1,e}` の full inclusion から来る subtopos `i`）は R-reading の negative answer として正しい。`q_s = q_{[s^{-1}]}`, `q_t = q_{[t^{-1}]}` はともに `q i` が equivalence で incomparable、meet は最小 quotient `q_{st} : Ĉ → Set` になり、そこで `π_* = (−)^M` が fully faithful でないため admissibility が落ちる。破れは infimum の不在ではなく **admissibility の meet 非安定性**。 しかし (1) H-reading では同じ例で最小元 `q_s` が存在する（`EssIm(i_*) = EssIm(q_s^*)`）ので反例になっていない。(2) hyperconnected-reading では **`q_s`, `q_t` はどちらも hyperconnected でない**（`X = i_*M` の subpresheaf `Y = ({1,e},{e})` が witness。`EssIm(q_s^*)` は subobject で閉じない。`q_t` も同様、`q_{st}` だけが hyperconnected）ので、この例は完全に無情報。反例はまるごと connected と hyperconnected の隙間に住んでいる。 補題（草稿にない）: `q_s^* ≅ i_*` が関手として一致する。一般に subtopos `i` の `i_*` が colimit を保つとき、`q^* = i_*` なる quotient `q` について `qi` は equivalence になり自動的に `q ∈ Q_i`。この例の機構は「同じ replete full subcategory が subtopos の像でも quotient の像でもある」ことに尽きる。 ## Goal hyperconnected 版 `Q_i^{hyp}` の最小元問題を定式化して解く。hyperconnected quotient は `Ξ` の internal filter で分類され filter は交叉で閉じるので meet は存在する。よって問題は admissibility の meet 安定性に落ち、`lsc-advances-notes` §Module structure の Conjecture Main の近傍に入る。R/H 分離は Conjecture Main における module 作用 `f·h` の定義（`Ω` 側だけか `C_j = j∘(−)∘λ_j` か）を確定させる材料になる。 ## Personal context [[h3vep9]] の Conjecture Main（`f·h = h ⟺ f が h を含む`）と直結する。descent と factorization の区別（Nivar 第1草稿 Remark 6.5）が、ここでは R と H の区別として再登場している。[[mhv4sn]] の relative LSC program とは別方向（あちらは base 上の相対化、こちらは quotient の順序構造）。Lawvere 問題 (1) との関係（KH26 の proper class many）から、connected 側で negative が出るのは想定内で、意味があるのは hyperconnected 側。詳細な精読メモは exploring-math repo の `_nivar/lawvere-2nd-review-ja.md`（git 非追跡）。

Arity–coskeleton原理 ## Trigger Arrow theoremとKori–Watanabe no-go theoremをcoskeletalityで統一する瓶 [[egzqw4]] を検討中，洞が「定義に必要なterm／変数の数がcoskeletal dimensionを決めるのではないか」と問うた．典型例は，transitivityが [ xRyland yRzRightarrow xRz ] という3変数条件なので，order object (L) が2-coskeletalになるという観察である． ## Idea finite-set injection category上でrelational structuresを符号化するpresheafについて，次の原理が成立する条件を明らかにする： > universal Horn axiomsが高々 (k+1) 個の変数で書けるなら，対応するpresheafは (k)-coskeletalである． 逆向き，および最小次元についても， [ ext{minimal essential variable arity}-1 = ext{minimal coskeletal dimension} ] がいつ成立するかを問う．単なるsyntax上の変数数はdummy variablesやdefinitional extensionで変わるため，essential arityをclone／Lawvere theory／finite model theory的に不変化する必要がある． test casesはequivalence relations，preorders，partial orders，graphs with local constraints，commutative monoidsを符号化する(F_A)，Arrowのorder object (L) とする． ## Goal 2-coskeletalityを個別計算ではなく「axiomのessential arity」から予測する定理を作る．成功すれば，no-go theoremが何次元の局所dataだけで決まるかをsyntaxから読めるようになり，[[sddxaj]] のgluing obstruction／cohomologyとの接続も明確になる．現段階では正当化前のconjectural principleである．

Word-tree subtopoi ## Trigger Morgan Rogersとの共著方向 [[afv3c6]] を、infinite-word points、acceptance semantics、hyperconnected language theoryから分離して整理した。共著クリアランス前の具体的な作業内容は、shareableな親瓶ではなくこのprivate瓶に置く。 ## Idea free monoid \(\Sigma^*\) の作用のトポス \[ \Sigma\text{-}\mathbf{Set}\simeq\mathbf{PSh}(\Sigma^*) \] のsubtopoiを、rooted word tree上の組合せ論・locale theoryとして具体化する。 候補となる同値な記述は次である。 \[ \begin{aligned} \operatorname{Subtop}(\mathbf{PSh}(\Sigma^*)) &\cong \{\text{Lawvere--Tierney operators}\}\\ &\cong \{\text{equivariant nuclei on }\operatorname{RIdl}(\Sigma^*)\}\\ &\cong \{\text{self-similar sublocales of the extended word locale}\}\\ &\cong \{\text{covering trees closed under re-rooting and grafting}\}. \end{aligned} \] right ideals \(I\subseteq\Sigma^*\) はprefix-free antichain \(A\) を用いて \(I=A\Sigma^*\) と書ける。Grothendieck topologyのpullback stabilityはtreeのre-rooting、transitivityはleafへのcovering treeのgraftingとして書ける。 この意味で外延的な完全分類は可能である。しかし、全subtopoiがfinite automataや有限個のparameterを持つわけではない。有限alphabetで \(|\Sigma|\geq2\) の場合、spatialなcommon-tail-saturated dataだけでも \(2^{2^{\aleph_0}}\) 個あり、full classificationにはpoint-free sublocalesも含まれる。 ## Priority claims to audit 現在の強い新規性候補は、標準的なsubtopos--local-operator対応そのものではなく、free word treeに固有の次の連鎖である。 1. boundary nucleusが非恒等なself-similar nucleiの最小元であること。 2. Jónsson--Tarski subtoposがlargest proper subtoposであること。 3. proper subtopoiをboundary \(\Sigma^\omega\) のself-similar sublocalesへ還元すること。 4. その還元からsubtopoiの濃度を計算すること。 これらは現時点ではproof auditと先行研究比較の対象であり、確定したpriority claimとして扱わない。 ## Questions - self-similar sublocaleとequivariant nucleusの対応を、仮定の混在なく完全に証明できるか。 - boundary nucleusの最小性の証明は、sublocaleのpoint-free部分を含めても成立するか。 - spatial sectorはcommon-tail equivalence classesの合併で完全に記述できるか。 - full latticeに対して、covering treesまたはradical idealsによる有用なnormal formは存在するか。 - 一般のmonoid \(M\) へfree presentation \(\Sigma^*\twoheadrightarrow M\) から下降させるためのdescent conditionは何か。 - forcing extensionで新しいtail-saturated subsetsが増えることと、subtopos latticeの絶対性をどう整理するか。 ## Goal abstract topos theoryの再記述ではなく、free word treeに固有のboundary structureがsubtopos lattice全体をどこまで支配するかを定理として確定する。最終的にはlocalic/étendue routeを主証明にし、coverage/tree routeとradical-ideal routeを比較可能な補助記述として整理する。 ## Personal context この瓶はテーマ1のprivate working bottleである。pointsの幾何は [[v6m2qz]]、predicates / acceptanceは [[w4k7mz]]、hyperconnected quotientsは [[h6q9vx]] に分離する。共著論文への採否・表現はMorgan Rogersとの確認後に決める。

Single-observer reduction ## Trigger ⭐️GSHP⭐️ project で、非可換有限単純群であることが generalized star height $1$ の問題をどこまで簡単にするかを検討した。Place–Zeitoun の star-free closure と Pin–Straubing–Thérien の quotient closure を組み合わせると、複数の flat-star observers を一つへ潰せることが分かった。 ## Idea 有限 alphabet $A$ に対し \[ \mathcal B_A = \operatorname{BoolQuot} \{K^*\mid K\text{ is star-free}\} \] と置く。まず height-one flattening \[ \mathsf{GSH}_{\leq1}(A)=\operatorname{SF}(\mathcal B_A) \] を得る。有限群への全射 $\pi:A^*\twoheadrightarrow G$ の単位元 fiber については、group orbit が正規部分群になり、aperiodic な orbit は自明になることから \[ h_{\mathrm g}(\pi^{-1}(1))\leq1 \iff \pi^{-1}(1)\in\mathcal B_A \] へ collapse する。 さらに $S$ が非可換有限単純群なら、直積部分群から $S$ への全射が一座標を経由することを使い、 \[ h_{\mathrm g}(\pi^{-1}(1))\leq1 \iff \exists K\text{ star-free such that } \ker\eta_{K^*}\subseteq\ker\pi \] となる。すなわち有限個の $K_i^*$ observers を排除する必要はなく、単一の $K^*$ observer だけを考えればよい。 したがって高さ $>1$ の証明義務は \[ \forall K\text{ star-free},\quad \exists u,v:\ \eta_{K^*}(u)=\eta_{K^*}(v),\quad \pi(u)\neq\pi(v) \] である。 ## Markedness Pin の coding theorem により、abstract monoid としての division を排除することはできない。必要なのは、固定 alphabet と生成射 $\pi$ を記憶する marked factorization の非存在である。したがって abstract に $A_5$ が $\operatorname{Synt}(K^*)$ を割るかではなく、$\pi$ が marked syntactic morphism $\eta_{K^*}$ を通じて factor するかを問う。 ## Goal $(2,3,5)$ 型 $A_5$ word problem や全60元 alphabet版について、pointlike/separation、flow、profinite、logical game、計算探索のすべてを同じ単一-observer obstructionへ収束させる。 ## Status 数学的証明は repository の note にあるが、文献上の novelty audit、independent review、Lean formalization は未了である。この瓶は $A_5$ の高さ $\geq2$ を主張しない。

Sheaf-valued acceptance ## Trigger infinite-word pointsを束ねる geometric morphism \[ \gamma:\mathbf{Sh}(\Sigma^\omega)\longrightarrow\Sigma\text{-}\mathbf{Set} \] を考えたとき、domain toposのsubobject classifierを随伴で押し下げれば、各stateにinfinite-word predicateを与える「受理対象」が現れるという観察から独立したテーマとして分離した。 ## Idea \[ \mathsf{Acc}_\gamma:=\gamma_*\Omega_{\mathbf{Sh}(\Sigma^\omega)} \] と置く。任意の \(\Sigma\)-set \(Q\) に対し、随伴から \[ \operatorname{Sub}_{\mathbf{Sh}(\Sigma^\omega)}(\gamma^*Q) \cong \operatorname{Hom}_{\Sigma\text{-}\mathbf{Set}}(Q,\mathsf{Acc}_\gamma) \] を得る。左辺のsubsheafを各stateで評価すると、open languages \[ L_q\subseteq\Sigma^\omega \] の族が現れ、少なくともderivative law \[ a^{-1}L_q=L_{q\cdot a} \] を満たすはずである。 ただし \(\Omega_{\mathbf{Sh}(\Sigma^\omega)}\) が直接分類するのはarbitrary subsetsではなくopen predicatesである。したがって直接得られるacceptanceはco-safety semanticsである。constant sheaf \(\underline{2}\) はclopen / bounded-prefix semanticsに対応し、Büchi・co-Büchi・parityへ進むにはleast/greatest fixed points \(\mu,\nu\) を追加する必要がある。 一般のsubobject-classifier adjunction自体は標準的であり、新規性の候補ではない。研究上の中心問題は、次の像を具体的に決定することである。 \[ \operatorname{Sub}(\gamma^*Q) \longrightarrow \prod_{q\in Q}\mathcal O(\Sigma^\omega), \qquad A\longmapsto(L_A(q))_{q\in Q}. \] ## Questions - derivative lawに加えて必要なeventual-state descent conditionは何か。 - 次の形のimage theoremは成立するか。 \[ \operatorname{Sub}(\gamma^*Q) \cong \left\{ (L_q)_{q\in Q} \ \middle|\ L_q\in\mathcal O(\Sigma^\omega),\quad a^{-1}L_q=L_{q\cdot a},\quad \text{descent} \right\}. \] - Jónsson--Tarski chart \(\mathbf{Sh}(\Sigma^\omega)\simeq\mathbf{JT}_\Sigma/F(1)\) を使うと、\(\mathsf{Acc}_\gamma\) は \(\Omega_{\mathbf{JT}_\Sigma}^{F(1)}\) の像として具体的に計算できるか。 - \(\Omega\) が与えるco-safety fragmentを \(\mu/\nu\)-completionし、Büchi・Muller・parity acceptanceとtopos-theoretic invariantを結べるか。 - subtopos \(\mathcal F\hookrightarrow\Sigma\text{-}\mathbf{Set}\) を変えると、そこで許されるacceptance classesはどのように変化するか。 ## Goal 一般的な「output assignmentを随伴でbehaviorへ移す」原理を再発見することではなく、\(\gamma\) に固有のacceptance objectとdescent条件を明示計算する。functorial automata、automata internal to topoi、coalgebraic trace semantics、safety/co-safetyおよび\(\omega\)-regular acceptanceとの正確な比較を行い、既知理論との差分を定理にする。 ## Personal context [[v6m2qz]] はpoints / observersとCantor chartの幾何を扱い、この瓶はそのchart上のpredicates / acceptanceを扱う。[[afv3c6]] のsubtopoi分類とは、どのlogical localizationでどのacceptance predicatesが残るかという方向で接続するが、論文テーマとしては分離する。 ## Related work to compare - functorial automata and adjunctions between languages and automata - automata internal to elementary topoi - safety and co-safety languages on \(\Sigma^\omega\) - coalgebraic Büchi/parity trace semantics via least and greatest fixed points - slice-topos identity \(\pi_*\Omega_{\mathcal E/X}\cong\Omega_\mathcal E^X\)

security gameのclassifying topoi ## Trigger 暗号学的 hash を、理想的な単射や random oracle そのものではなく、現実の有限状態 implementation と有限時間 adversary の相互作用として geometric/coherent theory に書きたいという議論から。 ## Idea まず有限の resource bounds を固定する。典型的には - 最大 message length $L$ - digest length $d$ - hash state size $s$ - implementation code size $S$ - adversary running time $T$ - query bound $Q$ - random tape length $R$ - 許容 winning tapes 数 $K$ である。 この固定された tuple $b=(L,d,s,S,T,Q,R,K)$ に対し、有限 register machine / circuit として hash implementation を記述する coherent theory $\mathbb T_{\mathrm{impl},b}$ を作る。Set-model は、指定された有限 resource bound を満たす具体的な hash program である。 adversary の bounded small-step execution relation $\operatorname{Exec}_{T,Q}$ と、collision を表す positive formula $\operatorname{Win}_{\mathrm{coll}}(a,r)$ を追加する。random tape は有限集合 $\mathsf{Bit}^R$ なので、確率上界は実数や measure を導入せず、次の finite-cardinality sequent で表現できる： \[ \bigwedge_{j=0}^{K}\operatorname{Win}_{\mathrm{coll}}(a,r_j) \;\vdash\; \bigvee_{0\leq i<j\leq K} r_i=r_j. \] これは各 adversary $a$ に対し winning random tapes が高々 $K$ 個であること、したがって一様 random tape に関する成功確率が高々 $K/2^R$ であることを意味する。 implementation 全体を classify する topos を \[ \mathcal E_{\mathrm{impl},b}:=\mathbf{Set}[\mathbb T_{\mathrm{impl},b}] \] とし、上の security axiom を加えた quotient theory の classifying topos を \[ \mathcal E_{\mathrm{CR},b}\hookrightarrow \mathcal E_{\mathrm{impl},b} \] とする。具体的 implementation $H$ が bound $b$ に対して collision resistant であることは、その point \[ p_H:\mathbf{Set}\to\mathcal E_{\mathrm{impl},b} \] が security subtopos $\mathcal E_{\mathrm{CR},b}$ を経由して factorize することとして表される。 resource bounds を変化させると、$\mathbb N^m$ または resource-bound poset で添字づけられた topoi/subtopoi の diagram が得られる。より強い attacker やより厳しい failure bound に対して security subtopos は小さくなる。したがって hash implementation の security profile を、どの bounds に対して factorization が成立するかという categorical invariant として定義できる。 ## Goal 暗号学的 security を「性質を満たす関数」ではなく、「有限の security game に勝てる adversary の数・random tapes の数」という operational data から classifying topos の quotient/subtopos として再構成する。correctness test vectors、preimage resistance、second-preimage resistance も別々の quotient theory として扱い、それらの meet によって verified-and-secure implementations の moduli topos を得たい。 ## Personal context 洞の昔の戦略の圏では、入力語の自由対象 $\Lambda^*$ から状態機械 $X$ への一意な射と output map $X\to H$ の合成で behavior を表した。この構図を streaming hash machine に再利用できる。さらに、洞の quotient topos / subtopos の研究と、security property を quotient theory として課す構図が直接接続する。

Marked return-code cohomology ## Trigger $A_5$ の generalized star height に cohomology を使う案を検討したが、abstract group cohomology $H^n(A_5,M)$ だけでは弱すぎることが分かった。同じ abstract group $A_5$ でも、height $1$ が構成できる generating systems と未解決の marked systems が共存するためである。 ## Idea marked surjection \[ \pi:A^*\twoheadrightarrow A_5 \] と、局所的な star-free return codes / counters の atlas に付随する相対 cohomology を構成する。局所 code 間の overlap で生じる不整合を cocycle として記録し、それが消えることを global star-free observer $K$ の gluing に対応させたい。 望ましい obstruction class $\omega(\pi)$ は次を満たすべきである。 - $\pi$ がある $\eta_{K^*}$ を通じて marked factorization すれば $\omega(\pi)=0$。 - local return codes が存在しても global observer に glue できない場合、その mismatch を検出する。 - $(2,3,5)$ 型で現れる相互依存 counters \[ E\bmod 3,\qquad G\bmod 2 \] の循環参照を noncommutative / twisted cocycle として捉える。 - generating set と action を忘れず、marked morphisms に関して functorial である。 候補となる舞台は Cayley graph / action groupoid の cohomology、return-code cover の Čech 型 cohomology、または flat-star prevarietyに対応する profinite quotient上の相対 cohomology である。[[w9v6hw]] で現れる graph closure \[ R_\pi\longrightarrow P_{\mathcal B}(A) \] を係数系の入口にする案もある。 ## Goal height $1$ の既知構成すべてに対する vanishing theorem と、hard $A_5$ instance に対する nonvanishing computationを組み合わせ、単一-observerの非存在を証明する。 ## Status これは search coordinate であり、cochain complex、係数系、cocycle、vanishing theoremのいずれもまだ定義されていない。ordinary $H^n(A_5,M)$ の計算だけを下界とはみなさない。

関手的力学系と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 になる条件）が課されているか。

Language-class closure operators ## Trigger Sin'ya Ryoma との議論にある、言語クラス上の closure operator を一つの研究対象として整理する。Kobin 内を `Sin'ya Ryoma`、`closure operator`、`language class` などで検索したが、対応する既存瓶は見つからなかったため新規に保存する。 ## Idea 有限 alphabet \(A\) を固定し、言語クラス全体の完備束 \[ \mathbf{LangClass}(A):=\mathcal P\bigl(\mathcal P(A^*)\bigr) \] または regular languages に制限した部分束を考える。 Boolean closure、左右 quotient を加えた Boolean closure、star-free closure、polynomial closure、inverse morphism closure、substitution closure などは、定義域と生成操作を固定すれば、いずれも言語クラス上の extensive・monotone・idempotent な closure operator として扱える。 特に、 \[ \operatorname{QBool},\qquad \operatorname{SF} \] を個別の構成としてではなく、closure operators の束・合成モノイドの元として研究する。主な問いは次である。 - 二つの closure operator はいつ可換するか。 - 合成 \(c\circ d\) の fixed points は、\(c\) と \(d\) の fixed points からどう記述されるか。 - closure operators 間の順序、meet、join、distributive law は、既知の言語クラス演算をどう統一するか。 - algebraic closure operator、finitary closure、Scott-continuity などの有限性条件は、正規言語の有限モノイド認識とどう対応するか。 - local Eilenberg correspondence や profinite equations の側で、これらの closure operator はどの操作に移るか。 - *Topoi of automata II* の言語クラスと hyperconnected quotient の Galois connection により、言語クラス側の closure operator を quotient-topos 側の closure/hull operator として移送できるか。 ## Goal Sin'ya Ryoma との共同研究候補として、標準的な言語クラス演算を closure operator の一般論に載せる。 最初の具体的目標は、 1. ambient lattice と各 closure operator の正確な定義域を固定する。 2. ​`Bool`、`QBool`、`SF`、polynomial closure の順序関係と合成則を整理する。 3. fixed-point latticesを local varieties・local pseudovarieties・profinite monoids と比較する。 4. hyperconnected quotients の完備束上に対応する closure operator を構成する。 ## Personal context 個別の言語クラスを列挙するのではなく、「言語クラスを生成する操作そのもの」を研究対象にする。これは generalized star height、concatenation hierarchies、local Eilenberg theory、および *Topoi of automata II* の syntactic-topos 構成を同じ束論的枠組みに置くための基盤となる。

Hyperconnected language theory ## Trigger \(\Sigma\)-Setをめぐる研究テーマを整理した結果、Morgan Rogersとのsubtopos分類 [[afv3c6]]、infinite-word points [[v6m2qz]]、sheaf-valued acceptance [[w4k7mz]] とは別に、hyperconnected quotients・local state classifier・syntactic algebraを統合する方向を独立した研究programとして切り出した。 ## Idea \[ \Sigma\text{-}\mathbf{Set}\longrightarrow\mathcal E \] というhyperconnected geometric morphismを、stateをどのように同一視し、どのlanguage class / recognizing algebraを残すかを表す構造として扱う。 localic方向では \(\Omega\)、Lawvere--Tierney operators、subtopoi、predicatesを調べるのに対し、こちらではlocal state classifier \(\Xi\)、quotients of representables、local state types、hyperconnected quotientsを中心にする。 \[ \begin{array}{c|c} \text{localic direction} & \text{hyperconnected direction}\\ \hline \Omega & \Xi\\ \text{subobjects / predicates} & \text{state quotients / local types}\\ \text{subtopoi} & \text{hyperconnected quotients}\\ \text{acceptance conditions} & \text{syntactic identification} \end{array} \] この方向で統合したい対象は次である。 - language \(L\) のsyntactic monoidと、その最小性をtoposのfactorizationとして捉えるsyntactic topos - orbit-finite \(\Sigma^*\)-setsのtoposのhyperconnected quotientsとlocal varieties of regular languages [[r8c6wy]] - language classesからprodiscrete / profinite / powder monoidsを再構成するGalois theory [[p7g4vm]] - local state classifierのsubobjectsやfiltersによるcovariety / quotient classification - topological monoid actionsとcontinuous recognizers - 一般のfree presentation \(\Sigma^*\twoheadrightarrow M\) に沿ったquotient-topos descent ## Questions - どの閉性条件を満たすlanguage classesが、\(\Sigma\)-Setまたはfinite-orbit toposのhyperconnected quotientsとちょうど対応するか。 - syntactic monoid \(M_L\) を、language predicateのminimal hyperconnected--localic factorizationから復元できるか。 - \(\Xi\) のどの内部subobjects / upward-closed families / filtersがcovarietiesを分類するか。 - quotient toposからcanonical topological monoidを再構成し、\(\Sigma^*\to M_C\) の稠密性と普遍性を示せるか。 - classical Eilenberg correspondence、semi-Galois categories、profinite equationsを、hyperconnected quotient latticeの一つの定理として統合できるか。 - \(\Omega\)-sideのacceptance [[w4k7mz]] と \(\Xi\)-sideのstate identificationを結ぶGalois connectionは存在するか。 ## Goal *Topoi of automata II* の核を、単なる複数の関連予想ではなく、次の対応を確立するprogramとして明確にする。 \[ \boxed{ \text{language classes} \longleftrightarrow \text{hyperconnected quotients} \longleftrightarrow \text{Galois / syntactic monoids} } \] まずregular / orbit-finiteの場合に完全な束同型を証明し、その後prodiscrete・topologicalな範囲へ拡張する。 ## Personal context 洞のquotient-toposとlocal state classifier研究を、automata and algebraic language theoryへ適用する主系列である。Morgan Rogersとの [[afv3c6]] はlocalic方向の対となるが、共著論文の射程を混ぜず、こちらは独立した論文系列として進める。 ## Existing child questions - [[r8c6wy]] Hyperconnected quotients of the finite-orbit topos vs local varieties - [[p7g4vm]] Prodiscrete Galois monoids for language classes - quotient topoi of free monoids - covarieties classified by subobjects of the local state classifier - hyperconnected essential quotients and congruences ## 2026-09-06 ChatGPT研究監査：有限値言語ではHQを決定できない Kobin全件監査の過程で、一般のmonoid action toposにおけるhyperconnected quotientと言語観測の関係について、次の反例と正の分類定理候補を得た。 ### 1. 有限値言語ではhyperconnected quotientを決定できない 二生成モノイド \[ M=\langle a,b\mid ba=b,\ b^2=b\rangle \] を考える。元を \[ a^n,\qquad s_n:=a^n b\quad(n\in\mathbb N) \] と書けば \[ a^na^m=a^{n+m},\qquad a^ns_m=s_{n+m},\qquad s_nu=s_n \] であり、各 \(s_n\) は左零元である。 右 \(M\)-作用 \(X\) に対し \[ R_x:=\{x s_n\mid n\in\mathbb N\} \] と置き、 \[ \mathcal C:=\{X\in\operatorname{Act}(M)\mid R_x\text{ が全ての }x\text{ について有限}\} \] とする。 この \(\mathcal C\) は \(\operatorname{Act}(M)\) の真のhyperconnected quotientの像になる。一方、有限集合 \(K\) に対するcofree action \(K^M\) では \[ (f\cdot s_n)(u)=f(s_nu)=f(s_n) \] なので \(f\cdot s_n\) は定数関数であり、\(|R_f|\le |K|\)。したがって \(K^M\in\mathcal C\)。よって任意の \(K\)-値言語 \(\ell:M\to K\) は \(\mathcal C\) 内で認識される。 従って \[ \boxed{\mathcal C\text{ と }\operatorname{Act}(M)\text{ は全ての有限値言語について同じ認識能力を持つが、異なるHQである。}} \] さらに \(\{a,b\}^*\twoheadrightarrow M\) に沿ってpullbackすれば、二文字free monoid action toposでも同じ現象が起こる。 ### 2. 同じ有限値言語を持つHQは連続体個ある 上の \(\mathcal C\) は「全有限値言語を認識するHQ」の最小元になる。\(\mathcal C\) と \(\operatorname{Act}(M)\) の間のHQ intervalは、\(\mathbb N\) 上のequivalence relation filterで、有限指数同値関係を全て含み、shift pullback \[ n\mathrel{\sigma^*\pi}m\iff n+1\mathrel\pi m+1 \] で閉じるものと対応する。 各素数 \(p\) に対し \[ n\mathrel{\pi_p}m\iff v_p(n+1)=v_p(m+1) \] と置き、素数集合 \(A\) ごとに有限指数同値関係と全 \(\sigma^{*k}\pi_p\;(p\in A)\) からfilterを生成すると、相異なる \(A\) から相異なるHQが得られる。従って同じ全有限値言語を認識するHQが連続体個存在する。 ### 3. 正しいlanguage-class realization criterion 言語 \(L\subseteq M\) のNerode右合同を \[ u\,\rho_L\,v\iff \forall w\in M\;(uw\in L\Longleftrightarrow vw\in L) \] とする。 \(B\subseteq\mathcal P(M)\) があるHQの認識言語全体になるための必要十分条件候補は： 1. \(B\) は左微分 \(L\mapsto m^{-1}L\) で閉じる。 2. 有限個 \(L_1,\ldots,L_r\in B\) と任意の \(L\subseteq M\) に対し \[ \bigcap_i\rho_{L_i}\subseteq\rho_L\Longrightarrow L\in B. \] このとき最小実現filterは \[ F_B=\left\{\theta\in\operatorname{RC}(M)\mid \exists L_1,\ldots,L_r\in B,\ \bigcap_i\rho_{L_i}\subseteq\theta\right\}. \] regular / finite-indexの場合、この条件は通常のBoolean closureとquotient closureへ崩れ、local Eilenberg theoryが回収される。一般の場合には、finite Boolean operationsではなく「有限個の観測で切り出した同値類の任意の合併」を許す閉性が必要である。 ### 4. 可算値観測なら可算monoidのHQを完全に回復できる 任意のmonoid \(M\) と集合 \(K\) で \(|K|\ge |M|\) とする。任意の右合同 \(\theta\) に対し単射 \(c:M/\theta\hookrightarrow K\) を取り \[ \ell_\theta(m)=c([m]) \] と置けば \[ u\,\theta\,v\iff \forall w\in M,\ \ell_\theta(uw)=\ell_\theta(vw). \] 従って \(K\)-値言語の認識可否だけで巡回作用 \(M/\theta\) の所属が判定でき、HQ全体を復元できる。 特に \[ \boxed{M\text{ が可算なら、可算値言語でHQを完全に識別できる。}} \] 一文字free monoid \(\mathbb N\) では二値言語ですでに十分だが、二文字では上の反例がある。alphabet size 1 / 2 が境界になる。 ### 5. canonical topological monoidの具体例 上の \(\mathcal C\) について、対応するtopological monoidを \[ P=\mathbb N\amalg\beta\mathbb N \] で与えられる。\(k\in\mathbb N\), \(p,q\in\beta\mathbb N\) に対し \[ k\ell=k+\ell,\qquad kp=\sigma_k(p),\qquad pk=p,\qquad pq=p \] と定めると \[ \mathcal C\simeq\operatorname{Cont}(P). \] またforgetful point \(U:\mathcal C\to\mathbf{Set}\) の自己自然変換には \[ \operatorname{End}(U)^{\mathrm{op}}\cong \mathbb N\amalg\beta\mathbb N \] という具体表示が得られる。 この \(P\) は位相空間としてはdiscrete spacesのinverse limitだが、topological monoidとしてdiscrete monoidsのinverse limitではない。free ultrafilter \(p\ne q\) で、全てのeventually periodic subsetに同じ値を取るものを選ぶと、任意の連続準同型 \(P\to D\)（\(D\) discrete monoid）は \(p,q\) を分離できない。 ### 6. 研究上の本質 これにより、当初の \[ \text{language classes}\longleftrightarrow\text{hyperconnected quotients}\longleftrightarrow\text{Galois/syntactic monoids} \] というprogramは、一般の無限状態では単純な二値language classだけでは不十分であることが分かった。正しい観測対象は、少なくとも十分大きな値域を持つlanguage families、またはNerode右合同filterそのものである。 特に重要な現象は \[ \boxed{\text{finite-valued observation loses infinite-partition data}.} \] regular / orbit-finite範囲では有限指数性のためこの情報損失が消え、classical local Eilenberg correspondenceが成立する。この差がTopoi of automata IIの一般版とfinite-orbit版の境界を説明する。 ## Status / caution 上記は2026-09-06のChatGPT研究監査で得たAI生成の証明群。Kobin上ではresultではなくprogram瓶への追記として保存し、独立査読・原稿監査までは確立済み成果として扱わない。

Height-one input extension ## Trigger 全元 alphabet 上の群 word problem $W_G$ と Conway–Krob–Ésik の group identities が同じ Cayley automaton / matrix star を使うことを整理したとき、少数生成元版の height-$1$ 表現から全元 alphabet版へ移る操作が、Conway 理論の input extension と平行であることに気づいた。 ## Idea 有限群 $G$、全射 \[ \eta:A^*\twoheadrightarrow G \] と語 $u\in A^*$ を取る。新しい文字 $c$ を加え、 \[ \eta':(A\sqcup\{c\})^*\twoheadrightarrow G, \qquad \eta'|_A=\eta, \qquad \eta'(c)=\eta(u) \] とする。このとき \[ h_{\mathrm g}(\eta^{-1}(1))\leq1 \quad\Longrightarrow\quad h_{\mathrm g}((\eta')^{-1}(1))\leq1 \] は成立するか。 一般の inverse morphism では、一文字を長い語へ送る置換に star が入り込み、height preservation は自動ではない。この問題は、その置換を「既存の語と同じ作用を持つ新文字の追加」として一段ずつ処理できるかを問う。 ## Goal 肯定的なら、height $1$ が分かっている二生成元版 $A_5$ から60元の全元 alphabet版へ有限回の input extension で移れる。さらに full-alphabet reduction により、$A_5$ が認識する任意の言語の generalized star height が高々 $1$ と従う可能性がある。 ## Conway connection Ésik の automaton identities では、ある finite automaton identity から input extension の identity が従う。Conway の最終予想に現れる「全群元を使う巨大な group identity を少数生成元の symmetric identities で圧縮する」という方向と、本問題は構造的に平行である。ただし通常の正規表現の等式理論から bounded star-depth preservation は直接には従わず、この接続自体は研究問題である。 ## Personal context [[w9v6hw]] の marked generating system 依存性を正面から扱う派生問題。Sin'ya Ryoma から聞いた Conway の最終予想との関係を調べる会話から生まれた。

GSH via closure and isotropy ## Trigger ZMC の generalized star-height project で得られた構造的整理を、言語クラス上の closure operators の瓶 [[ynue2x]]、local varieties と hyperconnected quotients の瓶 [[r8c6wy]]、prodiscrete Galois monoids の瓶 [[p7g4vm]] から派生する新しい問いとして保存する。 関連する作業メモは `hora-algebra/gsh_bootstrap` の PR #7 `Cenceptual_understanding.md` にある。 ## Idea 有限 alphabet \(A\) を固定し、 \[ \mathcal B_A := \operatorname{QBool} \bigl(\{K^*\mid K\subseteq A^*\text{ is star-free}\}\bigr) \] と置く。ここで `QBool` は Boolean 演算と左右 quotient による closure operator である。 一般化星高高々 \(1\) の言語クラスは、適切な star-free closure operator `SF` を用いて \[ \operatorname{GSH}_1(A) = \operatorname{SF}(\mathcal B_A) \] と記述できる。したがって generalized star-height problem は、個々の正規表現の問題ではなく、言語クラス上の closure operators の合成 \[ \operatorname{SF}\circ\operatorname{QBool} \] の fixed-point 問題として研究できる。 一方、Place--Zeitoun の ​\(\mathcal B_A\)-orbit \[ \operatorname{Orb}^{\mathcal B_A}_e(\alpha) = \{ete\mid(e,t)\text{ is a }\mathcal B_A\text{-pair}\} \subseteq eMe \] は、有限 monoid \(M\) の Karoubi envelope の対象 \(e\) において、\(\mathcal B_A\)-separation 後にも残る局所 endomorphism、特に residual isotropy と読める。 *Topoi of automata II* の Galois connection により、\(\mathcal B_A\) に対応する hyperconnected quotient を \[ \mathcal Q_{\mathcal B_A} \] とする。Navir/Kobin の isotropy に関する構想を正確化して、isotropy-bearing objects が生成する subtopos \(\mathcal I_A\) と、その最小 hyperconnected hull を考え、 \[ \operatorname{Hull}_{\mathrm{hc}}(\mathcal I_A) \stackrel{?}{\simeq} \mathcal Q_{\mathcal B_A} \] を問う。 この比較が成立するなら、さらに \[ L\in\operatorname{SF}(\mathcal B_A) \quad\Longleftrightarrow\quad L\text{ has trivial relative isotropy over }\mathcal Q_{\mathcal B_A} \] という relative-anisotropy theorem を目標にする。これは generalized star-height problem を hyperconnected quotient 上の isotropy 消滅問題として表現する候補である。 ## Goal 1. `QBool` と `SF` を同じ ambient lattice 上の closure operators として厳密に定義し、上の等式を検証する。 2. \(\mathcal B_A\) の fixed-point lattice、対応する local pseudovariety、free pro-\(\mathcal B_A\) monoid を同定する。 3. isotropy-generated subtopos \(\mathcal I_A\) の普遍性を Navir の議論から抽出する。 4. \(\operatorname{Hull}_{\mathrm{hc}}(\mathcal I_A)\) と \(\mathcal Q_{\mathcal B_A}\) の比較を local state classifier 上の internal filter の等式へ落とす。 5. Place--Zeitoun orbit の aperiodicity を relative isotropy の自明性として定理化する。 6. hard な marked \(A_5\)-language を有限テストケースとして、separability と residual isotropy を計算する。 ## Personal context この方針の利点は、generalized star height、local Eilenberg theory、profinite separability、Karoubi envelope、essential points、hyperconnected quotients を一つの closure-operator calculus に統合できる点にある。問題の解決を主張する瓶ではなく、解決に必要な比較定理を明確に切り出す研究計画である。 ## References - [gsh_bootstrap PR #7: conceptual understanding](https://github.com/hora-algebra/gsh_bootstrap/pull/7) - [[ynue2x]] Language-class closure operators - [[r8c6wy]] Hyperconnected quotients vs local varieties - [[p7g4vm]] Prodiscrete Galois monoids for language classes

Closing star-free closure ## Trigger ⭐️GSHP⭐️ project で、有限単純群の word problem を generalized star height $1$ に落とす single-observer reduction を検討した際、その直接の先行研究として Place–Zeitoun の結果を参照した。以前 kobin への保存を試みたが、connector が利用できず未送信だった。 ## Idea Place–Zeitoun は、regular language の class $\mathcal C$ に対し、$\mathcal C$ と有限言語を含み、Boolean operations と concatenation で閉じた最小の class $\mathrm{SF}(\mathcal C)$ を調べる。regular expressions、first-order logic、temporal logic、finite monoid recognition による同値な特徴づけを与え、適切な仮定のもとで $\mathcal C$ の separation の decidability から $\mathrm{SF}(\mathcal C)$ の membership / covering の decidability を導く。 ⭐️GSHP⭐️ では、この closure theorem と Pin–Straubing–Thérien の quotient closure を組み合わせ、非可換有限単純群の word problem に対する single-observer reduction を得る方針がある。ただし、この reduction 自体は novelty audit、independent review、formalization が未了であり、確立した theorem としては扱わない。 ## Goal $A_5$ の generalized star height を調べる際に、star-free base class から一つの Kleene star を許した class への移行を、既存の closure machinery と正確に接続する。とくに $\mathcal C$-separation、$\mathcal C$-pairs、$\mathcal C$-orbits のどの仮定が marked language の判定へ必要かを切り分ける。 ## Personal context 言語クラス上の closure operators [[ynue2x]] と、generalized star height を closure / isotropy で捉える問い [[xadbpa]] の直接の先行研究。

A5 proof-certificate search ## Trigger 全60元 alphabet版の $A_5$ word problem が height $\leq1$ だった場合、それを computer program で feasible に check できるか、実際に探索する会話から生まれた。結論は「候補 certificate の検証は exact にできるが、60-state DFA だけからの無構造な全探索は feasible でない」という分離である。 ## Idea 標準評価 \[ \pi:\underline{A_5}^*\twoheadrightarrow A_5 \] の単位元 fiberについて、height-$1$ certificate を次のいずれかで与える。 1. 対象言語と等価な generalized regular expression $E$ で、star nesting depth が高々 $1$ のもの。 2. star-free language $K$ と、marked factorization \[ \ker\eta_{K^*}\subseteq\ker\pi \] を示す有限データ。 certificate が与えられれば、DFA equivalence、最短 distinguishing word、$K$ の aperiodicity、$K^*$ の syntactic morphism、$A_5$ への factorization を有限計算で exact に検証できる。したがって proof discovery と proof checking を分離し、小さな deterministic verifier を最終関門にする。 ## Computational observation generalized-regex AST の素朴な size enumeration はすでに size $4$ で約 $1.07$ GiB に達し、size $5$ で破綻した。よって「高さ $1$ の式が存在するなら全式を順に列挙する」という探索は、60-state DFA に対して現実的でない。 探索対象を、star-free return codes、marked syntactic congruences、既知の token / anchor decompositions など、有限の構造を持つ certificate family に限定する必要がある。 ## Goal $A_5$ の yes/no 解決を、信頼できる certificate pipeline にする。肯定側では一つの explicit witness を見つければよい。否定側では [[w9v6hw]] により、任意の star-free $K$ が $\pi$ を分離できないことを示す universal obstruction が必要である。 ## Status 現時点で witness も universal obstruction も得られていない。計算結果は undecided であり、height $\geq2$ を示してはいない。 ## 追記（2026-08-27・AI採掘）: 952状態 architecture の完全 no-go 証明書 2026-07-25 の探索（ChatGPT 会話「理論的ゴリ押し」）で、一つの certificate family が**完全に閉じた**。15 個の easy first-return root automata の同期積（952 状態、各成分 aperiodic）について、全 \(2^{952}\) 個の受理集合 \(F\) に対し \[ \ker\eta_{K_F^*}\not\subseteq\ker\mu \] が成り立つ。証明は 5 組の語対の relation-collision 条件を厳密 DNF 化し、その連言が充足不能であることを示す。発見には Z3 を使ったが、公開証明は 66,616 ノードの case-split proof DAG として独立検証可能（検証約 45 秒）。 これは「この architecture からは肯定側 witness が出ない」という exact な排除であり、Computational observation 節の方針（無構造全探索の放棄、構造つき certificate family への限定）の最初の完全な実行例である。同時期の関連結果（height-one flattening・全 60 元アルファベットへの生成系消去）は [[w9v6hw]] 側に記録する。

Infinite-word points of Σ-Set ## Trigger GoodNotesの手書きノート *topoi of automata and Infinite words and* を復号して再発見した構想。ノートは、Moore machineと言語の標準的な対応から出発し、\(\Sigma\)-Setの非標準的なpointsをinfinite wordsで構成し、それらを一つのgeometric morphismへ束ねようとしている。 手書きの判読に不確かな箇所があるため、以下は明瞭に読めた数式と見出しに限定した再構成である。 ## Idea alphabet \(\Sigma\) と infinite word \[ \alpha=a_0a_1a_2\cdots\in\Sigma^\omega \] を固定する。\(\Sigma\)-set、すなわち transition structure \((Q,\delta)\) に対し、\(\alpha\) に沿ったeventual-state functorを \[ ES_\alpha(Q,\delta) :=\operatorname*{colim} \bigl( Q\xrightarrow{a_0}Q\xrightarrow{a_1}Q\xrightarrow{a_2}\cdots \bigr) \] で定める。手書きノートでは、\(ES_\alpha:\Sigma\text{-}\mathbf{Set}\to\mathbf{Set}\) がpointを定める、という命題が置かれている。 これらを個別のpointsとして並べるだけでなく、Cantor/Baire型のinfinite-word space上のsheafとして束ねる構想が記録されている。具体的には、canonical geometric morphism \[ \gamma:\mathbf{Sh}(\Sigma^\omega)\longrightarrow \Sigma\text{-}\mathbf{Set} \] であって、各 \(\alpha\in\Sigma^\omega\) におけるfiber/stalkが \[ \bigl(\gamma^*(Q,\delta)\bigr)_\alpha\cong ES_\alpha(Q,\delta) \] となるものを考える。 geometric intuitionは、free-monoid treeの各infinite branchに沿ってstatesを順次同一視し、そのeventual behaviorをbranchごとのfiberとして集める、というものである。 ## Questions - この \(\gamma\) の普遍性・factorization-theoreticな特徴づけは何か。 - infinite wordsから得られるpointsの同型条件を、finite edit / eventual-tail equivalenceとしてどのように正確に記述するか。 - \(\gamma\) と、\(\mathbf{PSh}(\Sigma^*)\) のsubtopoiをself-similar sublocalesで分類する構想 [[afv3c6]] は、localic reflectionまたはétendueの構造を介して直接結びつくか。 - ノートのfuture workにあるJónsson--Tarski algebrasは、このgeometric morphismまたは\(\Sigma^\omega\)の自己相似性をどのように代数化するか。 ## Goal 個々のnon-canonical pointの集合論的分類だけでなく、それらをparameterizeするlocale/toposを取り出す。これにより、pointsの分類 [[rjcp4h]] とsubtopoiの分類 [[afv3c6]] の間にある幾何学的構造を明示する。 ## Personal context 洞の *Topoi of automata* では、canonical pointがMoore machineのresult functionとMyhill--Nerode theoryを生む。ここでの \(ES_\alpha\) と \(\gamma\) は、canonical point以外のpointsをinfinite inputsのeventual behaviorとして理解するための候補である。 ## Provenance - source: `topoi_of_automata_and_infinite_words.goodnotes` - recovered with an open-source GoodNotes parser on 2026-07-22 - relevant handwritten pages: Moore machines and the canonical point (pp. 2--3), questions on other points and infinite words (p. 4), \(ES_\alpha\) (p. 5), geometric morphism \(\gamma\) (p. 6) ## 2026-07-23: テーマ分離後の射程 この瓶は、**infinite wordsによるpointsとそのparameter spaceの幾何**だけを担当する。\(\gamma_*\Omega\)から受理を作る問題は [[w4k7mz]] に分離し、subtopoiの分類は [[afv3c6]] に残す。 先行研究との比較から、個々のinfinite wordがpointを与えることや、pointsの同型類をcommon-tail relationで捉えること自体には既存のmonoid-action toposのpoint/groupoid theoryがある。したがって新規性候補は、次のより具体的な同定に置く。 1. GoodNotesから復元した \(ES_\alpha\) を、既知のflat functor / point presentationと明示的に一致させる。 2. \(\gamma\) をJónsson--Tarski étendueの標準chart \[ \mathbf{Sh}(\Sigma^\omega)\simeq \mathbf{JT}_\Sigma/F(1) \longrightarrow \mathbf{JT}_\Sigma \longrightarrow \Sigma\text{-}\mathbf{Set} \] と同定する。 3. このchartと、word localeのself-similar sublocalesによるsubtopos分類 [[afv3c6]] の関係を、étendueまたはlocalic reflectionを介して記述する。 この瓶ではacceptance conditionsを扱わず、observer/point、stalk、common-tail groupoid、Cantor chartに集中する。 ## Notion からの吸収（2026-08-16） Notion「研究テーマ」DBの `Topoi of automata and Infinite words`（優先度★★★★、進行状況 Writing、coresearcher 欄は空、Subfield 欄は topology・combinatorics・computer science）を、洞の判断でこの瓶へ吸収した。Notion のページに本文は無い。 本瓶の Trigger にある手書きノート「topoi of automata and Infinite words and」と同じタイトルであり、同じ構想を指すと読める。新しく分かったのは次の二点である。 - Notion 側で進行状況が **Writing** になっている（手書きノートの段階を越えて執筆に入っている） - hora-tex に `papers/topoi-for-automata-wakate` がある

IUT互換性の内部言語化 ## Trigger chatgptでLANA reportを読み，IUTの「異なる豊かな構造を直接同一視せず，共通の弱いreductだけを比較する」構図が，categorical logicのreduct functor・descent・groupoid semanticsで明確化できないかと洞が提案した． ## Idea 豊かなarithmetic structureの理論 (T_{mathrm{rich}}) から，共通部分だけを残す理論 (T_{mathrm{weak}}) へのreduct [ T_{mathrm{rich}}longrightarrow T_{mathrm{weak}} ] を作る．二つの(T_{mathrm{rich}})-modelと，それらの(T_{mathrm{weak}})-reductの同型を分類する理論 (T_{mathrm{alien}}) を，iso-comma objectとして定式化する： [ operatorname{Mod}_{mathcal E}(T_{mathrm{alien}}) simeq operatorname{IsoComma}!left( operatorname{Mod}_{mathcal E}(T_{mathrm{rich}}) o operatorname{Mod}_{mathcal E}(T_{mathrm{weak}}) leftarrow operatorname{Mod}_{mathcal E}(T_{mathrm{rich}}) ight). ] この枠組みでは，共通reductのsignatureで書けるformulaだけが自動的にtransportされ，忘れた加法構造等を使う主張は別のcompatibility theoremを必要とする． LANAの最終的なwallを，q-pilotから直接得るpointed constructionとanabelian/Kummer-theoretic constructionの間のrelation-preservation／engulfment，あるいはstagewise anchor preservationとして切り出す． ## Goal IUTをcategorical logicだけで証明することではなく，「何が形式的transportで，何が算術固有の証明義務か」を分離する．有限countermodelによりcategorical logic単独では足りないため，最終目標は不足するpointed comparison theoremをLeanで明示できる形まで縮約すること．

hash対象はnon-idempotentなLSCか ## Trigger 暗号学的hashの公理化プロジェクト（uid: y6kwt2）で、理想的hash対象の最小要件を洗い出していたときの構造的既視感。hash対象 H は (1) すべての対象 T から射 h: T → H を受け、(2) Merkle tree のために二項演算 H × H → H を持ち、(3) cartesian 構造の中で公理化される。この「全対象からの射を受ける + 内部二項演算」という組み合わせが local state classifier Ξ の構造とめちゃくちゃ似ている。 ## Idea LSC Ξ は: すべての対象 X から canonical な射（X の local state への分類射）を受け、internal semilattice 構造（二項演算 ∧、単位元）を持ち、cartesian な文脈で universal property により特徴づけられる。hash 対象 H の要件はこれと平行: | | LSC Ξ | hash H | |---|---|---| | 全対象からの射 | canonical（universal property から一意） | non-canonical（h は選ぶだけ、要件は存在と mono 性） | | 二項演算 | internal semilattice ∧（idempotent, comm, assoc） | Merkle 合成 H × H → H（結合則も可換性も**要らない**、むしろ非退化性が欲しい） | | 特徴づけ | universal property | 公理（mono, 非split, mod negligible） | 相違点が本質的に見える: LSC は「情報を忘れて状態だけ残す」冪等的な分類で、hash は「情報を潰すが衝突は起こさない」非冪等的な圧縮。∧ が idempotent（h(x,x)=x 相当）だったら hash としては即死（fixed point だらけ）。つまり**同じ形（receptor + binary operation）の圏論的構造の、semilattice 側と free-magma 側の両極**にいるのでは。 問い: - LSC の universal property の定式化（cocone / partial map classifier 系の言葉）を hash 側に流用して、「non-canonical だが必ず存在する receptor」の弱い universal property が書けるか? - Ξ の semilattice 構造の公理から idempotence だけ抜いた対象（"non-idempotent LSC"）は何を分類するか? T̂_X の話（étale monad, uid: jmenm6）で「(iv) idempotence だけが落ちる」例が既に出ていたのと呼応する。 - hash の Merkle 演算は free binary operation に近い（衝突がない = 関係式がない）。「H が T の free magma っぽく振る舞う mod negligible」という読み替えは、LSC が cofree 側の構成であることと双対的? ## Goal LSC 理論の技術（universal property の存在証明、hyperconnected quotient との関係）を hash 公理化に輸入できれば、「hash 対象を持つ圏」の存在・構成が LSC の存在定理のアナロジーで得られるかもしれない。逆に hash 側の「非冪等 receptor」が LSC 理論の変種（T̂ の非冪等例）として意味を持つ可能性もある。 ## Personal context - LSC は自分の中心的研究対象（Ξ, relative LSC, Nivar paper のコメント作業）。 - T̂_X（étale monad が誘導する Ξ の inflationary semilattice endo で idempotence のみ失敗する例, uid: jmenm6）と「idempotence が落ちる」点で直結。 - hash 公理化プロジェクト（uid: y6kwt2）の圏論的骨格探し（cartesian + 指定対象 + 射の公理）の途中で出た観察。

λ-gameとopen-ended進化 ## Trigger chatgptで舛本現・池上高志のλ-game／meta-gameをsurveyした際，既存研究の要約から一歩進めて，open-ended evolutionを「対象と対象を解釈する規則を同じ言語に置くこと」で捉える案が生じた．この拡張部分はAI生成であり，文献上の主張ではない． ## Idea strategyとgame master（rule）をともにuntyped (lambda)-termで表す．同じsyntaxに属するため，strategyはruleの入力であるだけでなく，ruleの内部構造を複製・適用・再配置し，結果として「何がfitnessを定めるか」自体を変えうる． open-endednessを，state space内の新規性ではなく，記述階層を横断する自己言及性として定式化する： [ ext{objects and their interpreters live in one untyped language}. ] 候補となる量は，還元で到達するnormal formの多様性だけでなく，interpreterの同値類，rule-changing eventの頻度，生成されるobservational equivalenceの成長である．Nomicや自己変更ゲームを有限的test caseとして比較する． ## Goal 「固定ruleの下での進化」と「ruleの意味そのものを再編成する進化」を分ける数学的criterionを作り，untyped (lambda)-calculusがopen-ended evolutionを生む条件を調べる．

Topoi with enough projectives ## Trigger HPの準備中論文リスト（公開）にある *Topoi with enough projectives* から瓶化する研究方向。正確な着想日は不明で、`created` は瓶化日。 ## Idea enough projectivesを持つトポスを研究する準備中論文。タイトルが立てる自然な問いは「どのトポスがenough projectivesを持つか（特徴づけ）」だが、公開タイトル以上の主張・結果はこの瓶では補完しない。 ## Goal enough projectives（externalまたはinternalな意味）を持つトポスのクラスを特徴づける。presheaf toposは持ち、sheaf toposは一般に持たないという古典的対比の精密化。 ## Personal context 論文レジストリでは `topos-enough-projectives`・solo_with_acknowledgement・version_and_proof_audit_neededで、既存草稿の版選定と証明監査が待ち状態。acknowledgementの扱いが投稿前ブロッカーとして記録されている。該当するsloganは現行の登録簿に無い（新設提案はPR側に記載）。 ## Provenance - 出典: ryuyahora-HP `data/source/site-data.json` papers.preparation（公開リスト） - registry: hora-priority-papers `registry.yaml` slug `topos-enough-projectives`

Topoi of automata III ## Trigger HPの準備中論文リスト（公開）にある *Topoi of automata III: Geometry of \(\Sigma\)-sets* から瓶化する研究方向。正確な着想日は不明で、`created` は瓶化日。 ## Idea topoi of automataシリーズの第3弾として、\(\Sigma\)-setのトポスを幾何学的側面（トポスの「空間」としての性質）から研究する構想。公開タイトル以上の内容（どの幾何的性質を扱うか）はこの瓶では補完しない。 ## Goal シリーズI（4つのトポスの導入、arXiv:2411.06358）・II（hyperconnected geometric morphismsとsyntactic monoids・言語クラス）に続き、\(\Sigma\)-setsの幾何を確立する。points（[[rjcp4h]]）・automorphisms（[[axnwpr]]）・cohomology（[[da9hkj]]）など既存の個別瓶の親瓶にあたる。 ## Personal context 論文レジストリにはII（`topoi-automata-ii`・active_writing）までが登録されており、IIIはHPの準備中リストのみに現れる。IIの完成が先行タスク。 ## References - [Ryuya Hora, *Topoi of automata I: Four topoi of automata and regular languages*](https://arxiv.org/abs/2411.06358) ## Provenance - 出典: ryuyahora-HP `data/source/site-data.json` papers.preparation（公開リスト）

Subtopoi of free monoid actions ## Trigger HPの準備中論文リスト（公開）にある *Subtopoi of free monoid actions (with Morgan Rogers)* から瓶化する研究方向。正確な着想日は不明で、`created` は瓶化日。 ## Idea free monoidの作用のトポス \(\mathbf{PSh}(\Sigma^*)\) のsubtopoi（Lawvere--Tierney topologies）を扱う、Morgan Rogersとの共著研究。 公開タイトルから読める範囲を超える研究内容（結果・手法）は、共著クリアランス前のためこの瓶には記載しない。 ## Goal free monoid actionsのトポスのsubtopoiを記述する。hyperconnected方向の商を扱う既存瓶（[[r8c6wy]] や旧HP 2.0.2由来の商トポス勘定）に対する、localic方向（subtopos）の対になる。 ## Personal context 論文レジストリ（hora-priority-papers）では `subtoposes-monoid-actions`・coauthored・promising_not_submission_ready。共著のため、本文執筆・投稿準備・第三者共有はcoauthor clearance後という方針が記録されている。 ## Provenance - 出典: ryuyahora-HP `data/source/site-data.json` papers.preparation（公開リスト） - registry: hora-priority-papers `registry.yaml` slug `subtoposes-monoid-actions` ## 2026-07-23: テーマ分離 このshareable瓶は、共著研究の公開タイトルとlocalic方向という位置づけだけを保持する。具体的な数学内容は、coauthor clearance前にはここへ追記しない。 関連する私的な作業瓶を次のように分離する。 - word tree・self-similar sublocalesによる具体的分類: [[z7m4kw]] - infinite-word pointsとCantor chart: [[v6m2qz]] - sheaf-valued acceptance: [[w4k7mz]] - hyperconnected quotientsと代数的言語理論: [[h6q9vx]]

On limits in FinSet ## Trigger HPの準備中論文リスト（公開）にある *On limits in \(\mathbf{FinSet}\)* から瓶化する研究方向。正確な着想日は不明で、`created` は瓶化日。 ## Idea 有限集合の圏 \(\mathbf{FinSet}\) におけるlimitsを主題とする準備中ノート。\(\mathbf{FinSet}\) は有限limitsしか持たないため、「どの形のlimitが存在するか・どう振る舞うか」が自然な主題だが、公開タイトル以上の主張はこの瓶では補完しない。 ## Goal \(\mathbf{FinSet}\) のlimitsについての基本的な結果を1本のノートにまとめる。有限性が本質になる既存瓶（[[tk8psy]] 有限presheaf圏がトポスになる条件）との接続候補。 ## Personal context 論文レジストリには対応するエントリが無く、HPの準備中リストのみに現れるタイトル。該当するsloganは現行の登録簿に無い。 ## Provenance - 出典: ryuyahora-HP `data/source/site-data.json` papers.preparation（公開リスト） ## 2026-08-26 AI研究監査：有限 weakly initial は十分だが必要でない small category $J$ に対し \[ (F_J):\quad \lim_JF\text{ が有限集合である，任意の }F:J\to\mathbf{FinSet} \] を考える． 1. $J$ が有限 weakly initial family $j_1,\dots,j_n$ を持てば $(F_J)$ が成り立つ．cone は $j_i$ 上の成分で決まるので \[ \lim_JF\hookrightarrow\prod_iF(j_i). \] 2. 逆は偽である．$\lambda$ を uncountable cofinality の ordinal とし $J=\lambda^{op}$ とすると，有限 weakly initial family は存在しないが $(F_J)$ は成り立つ．実際 $L=\lim F$ とし，$E_\alpha$ を $\alpha$-coordinate が等しいという $L$ 上の同値関係とする．$\beta>\alpha$ なら $E_\beta$ は $E_\alpha$ を refine し，有限数 $|L/E_\alpha|$ は非減少である．uncountable cofinality によりこれは最終的に定数となり，その後 refinement 自体も定数となる．$\bigcap_\alpha E_\alpha$ は equality なので，ある有限指数 $E_\alpha$ が equality であり，$L$ は有限である． countable cofinality の reverse ordinal では successive finite truncations により Cantor 型の無限 limit を作れる．従って完全分類は有限生成性ではなく，finite representations が作る equivalence relations の cofinality を捉える必要がある．

Rieg theoryの構想 ## Trigger HPの準備中論文リスト（公開）にある *Notes on Rieg theory: semiring with exponentials in logic, profinite arithmetic, enumerative combinatorics, and category theory* から瓶化する研究方向。正確な着想日は不明で、`created` は瓶化日。 ## Idea rieg（exponentialを持つsemiring）の理論を、論理・profinite arithmetic・数え上げ組合せ論・圏論の4方面から展開するノート集の構想。個々の問いではなく、riegという代数構造を軸に複数分野を横断する**プログラム**の瓶。 ## Goal rieg理論の全体像を1本のノート（または論文）に集約する。旧HP Problems 7.0.x由来の個別の問い（[[kvbsp5]]・[[pcaa53]]・[[dntdvh]]・[[v28vby]]・[[dyu9gy]]）と、Burnside riegsに動機づけられた [[tk8psy]] の親瓶にあたる。 ## Personal context 論文レジストリでは `rieg-theory-semirings-exponentials`・solo・archive_needs_extraction（アーカイブからの抽出待ち）。slogan `riegs` クラスタの個別瓶を束ねる位置。 ## Provenance - 出典: ryuyahora-HP `data/source/site-data.json` papers.preparation（公開リスト） - registry: hora-priority-papers `registry.yaml` slug `rieg-theory-semirings-exponentials` ## 先行研究として挙がっていたもの（2026-08-16 追記） Notion「研究テーマ」DBの `Rieg (rig with 'e'xponential) theory`（優先度 Active、進行状況 Writing、単独）の本文にあった未チェックの先行研究リストを移す。いずれも未読・未確認の候補である。 - Lawvere and Schanuel の「Objective Number Theory」という文脈があるらしい（[objective number theory in nLab](https://ncatlab.org/nlab/show/objective+number+theory)） - Tarski の High School algebra 問題、*Saga of …*、Fiore - Joyal の free lattice and money game - ランベルト W 関数で \(2^x+x=5\) を解く動画 - 群の半直積

LSC・permutation model・IAC ## Trigger HPの準備中論文リスト（公開）にある *Local state classifier, permutation model, and the internal axiom of choice* から瓶化する研究方向。正確な着想日は不明で、`created` は瓶化日。 ## Idea local state classifier \(\Xi\) を、集合論のpermutation model（対称モデル）とinternal axiom of choiceに結びつける構想。タイトルが示す軸は「\(\Xi\) がAC（の内部版）の成立・不成立をどこまで検出するか」。 非公開の骨組みノート（LSCandAC）が存在するが、conjecture本体が未記入の骨格段階であり、具体的なstatementの転記・定式化の補完はこの瓶では行わない（洞の確認後）。 ## Goal permutation model由来のトポス（continuous action topos等）でLSCを計算し、internal ACの特徴づけを \(\Xi\) の言葉で与える。成立すれば「\(\Xi\) がトポスの空間性（localic・étendue [[j9bcyf]]）だけでなく集合論的性質（choice）も読む」ことになる。 ## Personal context 論文レジストリでは `lsc-choice`・solo・conjectural_notebook。LSC理論（TAC 42-11）の集合論方面への展開で、幾何方面（[[muwz6c]] 等）と対をなす。 ## References - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](http://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) ## Provenance - 出典: ryuyahora-HP `data/source/site-data.json` papers.preparation（公開リスト） - registry: hora-priority-papers `registry.yaml` slug `lsc-choice` ## Notion からの追記（2026-08-16） Notion「研究テーマ」DBの2件の材料を、洞の判断でこの瓶へ移す。 **`Permutation models as topoi`**（優先度★★★★、進行状況 Not started、coresearcher 欄は空）の本文: > 有限選択公理 若手の会の林さんの発表から．AC(n)\to AC(m)をの群論的特徴づけを，ある種の群作用topos (nominal sets?)内の数学として書く． （「をの」は原文のまま。）文献として John Truss, *Finite axioms of choice* が挙げられている（[ScienceDirect](https://www.sciencedirect.com/science/article/pii/0003484373900077)）。 **`AC and finite groups`**（優先度 Active、進行状況 ●●○、coresearcher 欄に Hayashi・Yuhi Kamio）は本文が空。上と同じテーマとみてここへ併せる。「林さんの発表から」の林が coresearcher 欄の Hayashi にあたると読める。 hora-tex には対応する草稿として `papers/lsc-choice` がある。registry の記録は *Local state classifiers and choice*、authorship_status `solo`、readiness `conjectural_notebook`。 なお coresearcher 欄は共著者を意味しない（洞の確認、2026-08-16）。ここでも discussed_with として扱う。

因子化系を持つtotal categoryのLSC ## Trigger HPの準備中論文リスト（公開）にある *Demystifying local state classifiers: local state classifier in a total category with a factorization system (with Yuto Ikeda)* から瓶化する研究方向。正確な着想日は不明で、`created` は瓶化日。 ## Idea local state classifierの構成を、トポスを離れて「factorization systemを持つtotal category」の一般性で与える、Yuto Ikedaとの共著研究。タイトルが示す軸は、LSCの存在と構成をどの圏論的仮定が本当に支えているかの解明（demystify）。 公開タイトルから読める範囲を超える研究内容（結果・手法）は、共著クリアランス前のためこの瓶には記載しない。 ## Goal LSCの存在定理を（epi, mono）型のfactorization systemの言葉で再構成し、Grothendieck topos・locally presentable category（[[g9zbw4]]）を特例として含む一般論を得る。 ## Personal context 論文レジストリでは `demystifying-lsc`・coauthored・baseline_candidate。関連する自分側の一般化の瓶として [[g9zbw4]]（presentable categoriesでのLSC存在）と [[mhv4sn]]（relative LSC program）があり、この共著はそれらの「仮定の最小化」側を担う。 ## Provenance - 出典: ryuyahora-HP `data/source/site-data.json` papers.preparation（公開リスト） - registry: hora-priority-papers `registry.yaml` slug `demystifying-lsc` ## 先行研究の位置づけ（2026-08-08 調査） ItaCa Fest の題材検討の副産物として、この方向の先行研究を調べた（claudeとの会話より）。以下は外部の公刊文献についての整理であり、共著の結果・手法には触れない。 ### 押さえるべき先行研究 Berger–Kaufmann, *Comprehensive factorisation systems* ([arXiv:1710.09438](https://arxiv.org/abs/1710.09438)) が、consistent comprehension scheme と complete orthogonal factorisation system の対応を確立している。comprehension scheme \(P\) は各対象 \(A\) に圏 \(PA\) を与え、右クラスが \(\mathrm{Cov}_B \simeq P B\) で分類される。Street–Walters の comprehensive factorization がその実例。**「OFS の右クラスを分類する対象」の一般論はここに既にある。** 同型の先行研究として、Lurie の bounded local class、Gepner–Kock の univalent family、Vergura *Localization theory in an ∞-topos* ([arXiv:1907.03836](https://arxiv.org/abs/1907.03836)) の "L-local maps admit a classifying map" がある。 **ただしこれらは全て \(\mathrm{Hom}(X,Q) \simeq M(X)\) 型の representability（limit型）classifier である。** \(\Xi\) は colimit 型なので、この枠組みには入らない。Menni ([arXiv:2505.07131](https://arxiv.org/abs/2505.07131)) が reflexive graphs で \(\Xi\) を limit として書けると示したのが、両者を橋渡しする唯一の既存結果。 ### Cassidy–Hébert–Kelly が gap を名指しして避けている Cassidy–Hébert–Kelly, *Reflective subcategories, localizations and factorization systems*, J. Austral. Math. Soc. **38** (1985) 287–329 の Introduction に次の一節がある。 > The connexion with the classical results on localization—which we do not pursue below—is as follows. ... a subobject-classifier enables us to describe E′ by something quite small and easy to handle; and this is the topology of the appropriate kind. 「subobject classifier があると factorization system の一方の側が小さい内部データで書ける」という現象を認識したうえで、**追求しないと明言している**。CHK 本文に `internal` は0箇所で、パラメトライズは complete lattice という外部的なものだけ。40年前に名指しで置かれた宿題、という位置づけができる。 ### 注意: 素朴な一般化は偽 Kamio–Hora ([arXiv:2407.17105](https://arxiv.org/abs/2407.17105), Adv. Math.) が connected surjection 側の quotient は proper class 個ありうると示しているので、「任意の 2-categorical OFS に internal parameterization がある」は成立しない。どの仮定が本当に効いているかを切り出すのが正しい問い立てになる。 ### 分野の空き具合（定量） - `"local state classifier"` の完全一致は arXiv metadata・OpenAlex ともに **3論文のみ**（Hora 2本 ＋ Menni 1本） - nLab に LSC の独立ページはない（large cocompleteness に1行の言及のみ） - arXiv `abs:"factorization system" AND abs:"classifying object"` は **0件** 調査の詳細（enriched 方向の見立てを含む）は事務repo の `LSC_OFS_先行研究調査_2026-08-08.local.md` に置いた。

Hyperconnected部分クラスの対応 ## Trigger 非公開Overleafノート *Notes on advances of LSC* の §Classification of smaller classes of hyperconnected geometric morphisms（ongoing節）から瓶化した。以下はノートの問いのパラフレーズであり、原文の逐語転載はしていない。 ## Idea hyperconnected quotientの全体は \(\Xi\) のinternal filterで分類される（TAC 42-11）。この対応の下で、**hyperconnected quotientの意味のある部分クラスは、filterのどの部分クラスに対応するか？** ノートには対応表の骨子が置かれている（いずれも著者確認前）。 - hyperconnected全体 ↔ internal filter全体（確立済み、TAC 42-11） - hyperconnected étendue ↔ externally principal filter（予想） - hyperconnected かつ essential ↔ internally principal filter（予想、[[grf766]] の主題） - atomic connected ↔ ?（未記入。Henryのlocalic expansions系の仕事が照合先として挙がっている） ## Unverified status - 対応表のうち確立済みなのはhyperconnected全体の行のみ。étendue行・essential行は予想であり、atomic connected行は右辺が未記入である。 - 原ノートはongoingであり、各行の証明状態の転記は洞の確認後。 ## Goal 分類定理「hyperconnected ↔ filter」を辞書として拡張し、幾何的に意味のある部分クラス（étendue・essential・atomic connected）をfilter側の代数的条件で言い当てる。étendue行は [[j9bcyf]]（bottom elementによるétendue特徴づけ）と繋がる。 ## Personal context TAC 42-11の分類定理を「一回きりの定理」から「辞書」に育てる方向。これが埋まると、hyperconnected quotientの研究がfilterの組合せ論・代数に翻訳できる範囲が明確になる。 ## References - 非公開Overleafノート *Notes on advances of LSC*（著者確認前。外部共有不可） - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](http://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) ## 2026-09-07 AI研究監査：essential 行（presheaf topos の範囲） [[kg9sny]] により，\(\mathbf{PSh}(\mathcal C)\) の hyperconnected essential quotients は \(\mathcal C\) の congruences と一対一（順序逆同型）．根拠は洞の 2023 セミナーノート「essential quotient ⟷ bole functor」＋「full ⟺ hyperconnected」の一行．対応する \(\Xi\) の subobject は各 \(c\) で \(\uparrow\equiv_c\subseteq\mathrm{Quot}(\mathbf y c)\)，すなわち fiberwise principal で，生成元 \((\equiv_c)_c\) は lax global element（\(\equiv_{c'}\subseteq\Xi(k)(\equiv_c)\)）だが一般には global element でない．群作用 topos では共役作用のため生成元が global element になり，étendue 行（externally principal）と一致する．「internally principal」の内部言語的定義との一致は洞の確認待ち．

essential quotientsとcongruence ## Trigger 非公開Overleafノート *Notes on advances of LSC* の §Hyperconnected essential quotients（ongoing節）から瓶化した。以下はノートの内容のパラフレーズであり、原文の逐語転載はしていない。 ## Idea 小圏 \(\mathcal{C}\) のcongruence（合成と両立し、bijective-on-objectsかつfullな商関手 \(\mathcal{C}\to\mathcal{C}/{\equiv}\) を誘導する射集合上の同値関係）ごとに、essentialかつhyperconnectedなgeometric morphism \(\mathbf{PSh}(\mathcal{C})\to\mathbf{PSh}(\mathcal{C}/{\equiv})\) が誘導される（ノートではlemmaとして記載）。 **予想（ノート記載・著者確認前）: この構成は \(\mathbf{PSh}(\mathcal{C})\) のhyperconnected essential quotientsと \(\mathcal{C}\) のcongruencesの一対一対応を与える。** ノートに挙がっている動機は3つ: (1) [[muwz6c]]（部分クラス分類）の実例、(2) syntactic monoidの概念のトポス論的研究、(3) 圏のcongruenceをトポス論で扱う方法。 ## Unverified status - lemma（congruenceからessential hyperconnected quotientの誘導）と、一対一対応の予想は、いずれも私的ノート上の記載であり数学的監査は未実施。 - filter側の対応物は internally principal filter と目されている（[[muwz6c]] の表）が、この行自体が予想である。 ## Goal 一対一対応を証明（または修正）し、hyperconnected essential quotientsの完全な記述を得る。syntactic monoid（正規言語論）のトポス論的対応物として [[r8c6wy]]・[[p7g4vm]] の言語クラス側の予想群と接続する。 ## Personal context 「圏のcongruence」という古典的対象とLSC理論の交差点。これが通ると、モノイドのcongruence（syntactic monoidの土台）が topos of automata の文脈でhyperconnected essential quotientとして読めるようになる。 ## References - 非公開Overleafノート *Notes on advances of LSC*（著者確認前。外部共有不可） - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](http://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) ## 2026-09-07 AI研究監査：予想は成立（[[kg9sny]]） lemma（congruence ⟹ essential hyperconnected quotient）と一対一対応の両方が成り立つ．ただし核心は洞自身の既知定理：手書きノート *Essential Quotients of Presheaf Topoi*（6/21 院生セミナー，[Drive PDF](https://drive.google.com/file/d/1r3GXVUPCpzDXhtlSCin4tvmGccxZ5zIX/view)）の「\(\mathbf{PSh}(\mathcal C)\) の essential quotient ⟷ bijective-on-objects lax epi（bole functor）」．これに一行の補題「bole functor が full ⟺ \(F^*\) の像が subobject で閉じる（＝hyperconnected）」を足すと，hyperconnected essential quotient ⟷ full かつ bo な商 ⟷ congruence が従う．対応は \(\mathrm{Con}(\mathcal C)\) との順序逆同型．filter 側は各 fiber で \(\uparrow\equiv_c\) という principal upset（生成元は lax global element）．syntactic monoid は「minimal automaton を含む最小の essential hyperconnected quotient」として回収される．詳細・残る未解決（"internally principal" の内部言語的定義との一致，Con の束演算）は [[kg9sny]]．洞によれば同内容を以前別のAIも証明しており，その会話は未特定．

Pretopological dynamics ## Trigger HPの準備中論文リスト（公開）にある *Dynamical systems on pretopological spaces* から瓶化する研究方向。正確な着想日は不明で、`created` は瓶化日。 ## Idea 位相空間よりも弱いpretopological space（閉包作用素が冪等性を要求しない空間概念）の上で力学系を展開する構想。公開タイトル以上の内容（どの力学的概念を移植するか・主結果）はこの瓶では補完しない。 ## Goal pretopological spaceの上の力学系の基礎概念を整備し、通常の位相力学系では見えない現象（冪等でない閉包に由来する挙動）を特定する。 ## Personal context 論文レジストリでは `dynamical-system-pretopological-space`・solo・mixed_article_note_talk（論文・ノート・講演資料が混在しており整理待ち）。該当するsloganは現行の登録簿に無い（新設提案はPR側に記載）。 ## Provenance - 出典: ryuyahora-HP `data/source/site-data.json` papers.preparation（公開リスト） - registry: hora-priority-papers `registry.yaml` slug `dynamical-system-pretopological-space`

Categorical ordinal invariants ## Trigger HPの準備中論文リスト（公開）にある *Category Theoretic Ordinal Invariants* から瓶化する研究方向。正確な着想日は不明で、`created` は瓶化日。 ## Idea 圏論的な対象に順序数値の不変量を割り当てる一般論の構想。公開タイトル以上の内容（どの構成に対する順序数か・具体的な定義）は一次出典から確定しないため、この瓶では補完しない。 ## Goal 順序数不変量の圏論的な定義と基本性質を与える。どの既存研究（例: transfinite構成の収束段数）と接続するかの特定は洞の確認待ち。 ## Personal context 論文レジストリには対応するエントリが無く、HPの準備中リストのみに現れるタイトル。該当するsloganは現行の登録簿に無い。内容の手がかりが最も少ない瓶なので、洞による一言の補足で価値が大きく変わる。 ## Provenance - 出典: ryuyahora-HP `data/source/site-data.json` papers.preparation（公開リスト）