投稿

Multi-select sumと普遍monoid ## Trigger Notion「研究テーマ」DBの `Multi-select sum of Games/ Universal Monoids`（優先度★★★、進行状況 ●○○、coresearcher: J.Koizumi, Tomoaki Abuku、Subfield: game theory、Last Edited 2023-09-01）から瓶化した。coresearcher 欄の2人は議論相手としての記録であり、共著の裏は取っていない。 ## Idea Games $A_1,\dots,A_n$ に対して、それらの **multi-select sum**（正の有限個の成分を選んでプレイする和）を考える。これは不偏ゲームの monoidal product で、Conway addition に似ている。 **問い: この operation に関する普遍的な monoid 不変量（universal monoid invariant）は何か。** 原メモの観察・部分結果: - LN(3,2) は 2山Nim と 1山Nim の multi-select sum なので、universal monoid invariant が分かれば LN(3,2) が解けるはず。 - 予想（原メモ自身が曖昧と注記）: universal monoid invariant は Birthday と Grundy number のペアか？（「しなさそう．いや，するかも」） - 性質: $1\mathrm{Nim}(n)+1\mathrm{Nim}(m)=1\mathrm{Nim}(n+m)$（一山）、$LN(3,2)(a,b,c)=2\mathrm{Nim}(a,c)+1\mathrm{Nim}(b)$、$X_1+\dots+X_1=\mathrm{Nim}_n$（$X_{n+1}=\{X_n\},\ X_0=0$）。 - Lemma: $A+B$ が P-position $\iff$ $A$ も $B$ も P-position（LN(3,2) のときに観察済み）。よって universal monoid では P-position は全て単位元（後手必勝ゲーム全体のなす同値類）につぶれる。 - universal monoid は群ではない: $\mathrm{Nim}_n$（$n>0$）に何を multi-sum しても単位元になれない（Lemma より）。 - $\{P,N\}$-universal monoid は $\{P,N\}$ 自体。だから本命は **Grundy-universal monoid** で、単位元も考え直す必要がある。Birthday が関わるかも。 - 「Game Operation and Universal Monoids」という観点からは、パス付き三山ニムの未解決問題も関連しそう。"Recursive aspect" にも注目する。 - 例の候補: Grundy数 / Remoteness / Selective sum + PN / 逆形ゲーム / Selective sum + Grundy / Selective and Conway sum（知りたい）/ パスつき3山Nim（"dependent sum"）。 ## Personal context Universal monoid・recursive coalgebras・monoidal structure を全部駆使したい方向（原メモの結び）。*Games as recursive coalgebras* 系の公開問題 [[f98jzd]]（Bouton monoid）・[[tauvfv]]（monoidal closed structures）と近い場所にあるが、multi-select sum という別の operation の普遍不変量を問う点で独立した問い。 ## 2026-08-26 AI研究監査：eventual birthday theorem selective compound を $A\nabla B$，Nim heap を $*k$，$d(A)$ を $A$ からの最大 play 長（birthday/depth）とする．任意の short finite impartial game $A$ について \[ \operatorname{Gr}(A\nabla *k)=k+d(A) \] が十分大きいすべての $k$ で成り立つ． 証明：$f_A(k)=\operatorname{Gr}(A\nabla *k)$ と置く．$A\nabla*(k+1)$ の option set は $A\nabla*k$ とその全 option を含むので $f_A(k+1)>f_A(k)$．一方 Grundy number は depth 以下だから $f_A(k)\le k+d(A)$．従って $\delta_A(k)=f_A(k)-k$ は非減少かつ $d(A)$ 以下で，最終的に定数 $e$ となる．$d=d(A)>0$ とし depth $d-1$ の option $A'$ を取る．帰納法で $\operatorname{Gr}(A'\nabla *j)=j+d-1$（$j\gg0$）．もし $e\le d-1$ なら $j=k+e-(d-1)\le k$ と置くと $A'\nabla *j$ は $A\nabla*k$ の option であり，その Grundy number は $k+e=f_A(k)$ となって mex に反する．よって $e=d$． 従って selective contexts に関する universal monoid は birthday を検出する： \[ d(A)=\lim_{k\to\infty}(\operatorname{Gr}(A\nabla*k)-k). \] また $(d,\operatorname{Gr})$ は普遍不変量ではない．$G=\{*2\}$ と $H=\{*1,*2\}$ はともに $(d,\operatorname{Gr})=(3,0)$ だが \[ \operatorname{Gr}(G\nabla*1)=1,\qquad \operatorname{Gr}(H\nabla*1)=4. \] Bouton monoid 全体の決定には，異なる hereditarily finite games を有限 selective context が必ず分離するか，または collision があるかを決める必要がある．

言語measurabilityの草稿 ## Trigger Notion「研究テーマ」DBの `(原始語予想と)Group-measurability とfinitely additive Haar measure on profinite group`（優先度★★★、進行状況 Writing、coresearcher: Sin'ya, Yuyama、Last Edited 2025-04-22）から瓶化した。 ## 所在（この瓶は所在の記録のみ） この方向は共著の論文プロジェクトとして hora-tex に草稿が実在する。 - hora-tex `papers/registry.yaml` の slug `language-measurability` — *A note on language measurability*（Sin'ya Ryoma と共著、`advance_policy: coauthor_clearance_required_before_text_or_submission`、primary tex は `SigmaAdditivity.tex`） - hora-tex `overleaf/Notes on primitive words`（main.tex / cumulative.tex） **coauthor clearance 前のため、この瓶には数学的内容（問い・結果・手法）を写さない。** 内容は上記草稿と Notion 原文を見ること。 ## 注記 - Notion の coresearcher 欄は共著者を意味しない（議論相手・謝辞も含む）。registry が共著と明記するのは Sin'ya Ryoma のみで、Yuyama の関与の性質は未確認。

観測可能な部分圏 ## Trigger Notion「研究テーマ」DBの `Epistemological reconstruction as codensity` の本文にあった次の一節から瓶化した。[[bpjn8j]] から分けた3つのうちの一つ。 > 観測可能な宇宙だけ取り出すのも，full-subとってる感じあるよね．idempotent monadを取り出すみたいな．"Observable subcategory"ってこと ## Idea 「観測可能なものだけを取り出す」という操作を、圏 \(\mathcal C\) の full subcategory を取ること——あるいはそれが誘導する idempotent monad——として定式化する。この部分圏を "Observable subcategory" と呼ぶ。 原メモはさらに、次の二つがこの形ではないかと問うている。 - locally finitely presentable な圏（「lfp もそう？」） - 位相空間のコンパクト生成（「コンパクト生成もそうでは？」） ## Goal "Observable subcategory" の公理を定め、lfp 圏の finitely presentable objects やコンパクト生成の圏がその例として回収されるかを判定する。回収されないなら、何が足りないかを特定する。 ## Personal context 親瓶 [[bpjn8j]] が「認識から実在を再構築する」向き（codensity monad）なのに対し、こちらは「実在から観測可能な部分を切り出す」向き（idempotent monad）で、同じ随伴の反対側にあたる可能性がある。両者の関係を書けることが、この瓶を分けた意味になる。

捨象の手続きは同型か ## Trigger Notion「研究テーマ」DBの `Epistemological reconstruction as codensity` の本文にあった、数学内の類似例の列挙から瓶化した。[[bpjn8j]] から分けた3つのうちの一つ。原文は次のとおり。 > 位相的に区別できない点をlocaleとして見て忘れるとか、∞-connectedをcontractibleとみなすとか、first order logicでの認識を利用してultraproductとるとか、認識から実在を(ある程度捨象し)再構築する手続きは数学にもある ## Idea 「認識から実在を、ある程度捨象したうえで再構築する」手続きが数学の中に複数ある。原メモが挙げるのは次の三つ。 1. 位相的に区別できない点を locale として見て忘れる（top と locale の対応） 2. \(\infty\)-connected を contractible とみなす 3. first order logic での認識を使って ultraproduct を取る（ultrafilter） これらが本当に同じ構造——[[bpjn8j]] の言う codensity monad——の具体例なのか、それとも見かけが似ているだけなのかを問う。 ## Goal 三つそれぞれについて、何を「認識」とし何を「実在」とするかを明示し、対応する monad（あるいは reflection / coreflection）を書き下す。そのうえで、共通の枠に収まるかを判定する。収まらないなら、どこで分岐するかを特定する。 ## Personal context 親瓶 [[bpjn8j]] が構想の本体で、こちらはその主張を検証するための具体例の束にあたる。ここが埋まらないと親瓶の主張は比喩の域を出ない。

gros toposのGaeta近似 ## Trigger Notion「研究テーマ」DBの `Relative Gaeta topos`（優先度★★★★、進行状況 Not started、coresearcher 欄に Matias Menni）の本文の後半から瓶化した。洞の判断で2つの瓶へ分けたうちの一つ。原文は次のとおり。 > そして，多くの"topologicalなgros topos"の ℵ₀︎-Gaeta-approximationはcondensed set toposになっているんじゃないだろうか． なお coresearcher 欄は共著者を意味しない（洞の確認、2026-08-16）。 ## Idea topological な gros topos に対し、その \(\aleph_0\)-Gaeta-approximation を取ると condensed set topos になるのではないか、という予想。 「多くの」がどのクラスを指すか、また \(\aleph_0\)-Gaeta-approximation の正確な定義は Notion のページからは確定できないため、ここでは補完しない。 ## Goal \(\aleph_0\)-Gaeta-approximation を正確に定義し、どのクラスの topological gros topos に対してそれが condensed set topos と同値になるかを決定する。反例があるならその境界を特定する。 ## Personal context Notion の別ページ `LSC of condensed sets`（優先度★★★★）は「condensed sets の local state classifier は profinite set の Cantor--Bendixson rank を分類しているのではないか」と問い、さらに「一般に Gaeta topos の LSC を知りたい」と書いている。本瓶の予想が正しければ、その問いへ Gaeta approximation の側から接近できる。

Garden of Edenとtopos ## Trigger Notion「研究テーマ」DBの `Celler automataとトポスとアメナブル群？`（優先度★★★★、進行状況 Not started、coresearcher 欄は空）から瓶化した。本文は次の URL 一つだけである。 - [arXiv:1605.09133](https://arxiv.org/abs/1605.09133) その論文は *Amenability of groups is characterized by Myhill's Theorem*（appendix by D. Kielak）で、群 \(G\) が amenable であることと、carrier \(G\) を持つ任意の cellular automaton について「Garden of Eden を持つならば mutually erasable pattern を持つ」ことが同値である、と示す。Schupp の問いに答え、Ceccherini-Silberstein--Machi--Scarabotti の予想を解決したものである（2026-08-16 に検索で確認）。 ## Idea Notion のタイトルは cellular automata・topos・amenable 群の三つを並べており、上の特徴づけを topos の側から見られないか、という問いと読める。**具体的な定式化は Notion のページからは確定できないため、ここでは補完しない。** 自然に立つ問いとしては、cellular automata のなす topos（あるいは群作用の topos）において amenability が何らかの topos の性質——たとえば quotient の存在や surjectivity の振る舞い——として現れるか、が考えられる。ただしこれは瓶化時の推測である。 ## Goal Myhill の定理による amenability の特徴づけを topos の言葉で述べ直せるかを判定する。 ## Personal context [[bya5a7]]（Game of Life relative topos）は cellular automata を relative topos として見る方向で、同じ対象を扱う。こちらは amenability という群論的性質との対応を問う点が違う。

ξがepi iff bounded ## Trigger Notion「研究テーマ」DBの `ξがepi iff bound`（優先度★★★★、進行状況 Not started、coresearcher 欄は空）から瓶化した。Notion のページに本文は無く、**タイトルがそのまま主張になっている**。 [[nfrbb5]] の Personal context は、非公開ノート *Notes on advances of LSC* の §Relationship with bounds に「bound という性質自体を \(\Xi\) で内在的に特徴づける予想」があると記したうえで、その statement の転記を洞の確認後としていた。Notion のこのタイトルがその statement にあたると、洞が確認した（2026-08-16）。 ## Idea bounded であることと、canonical morphism \(\xi\) が epimorphism であることが同値である、という予想。 \(\xi\) は local state classifier をめぐる canonical な射で、[[n6v2sg]] では \(\nu=\xi_\Xi\) が normalization operator として現れる。ただし、ここでの \(\xi\) がどの対象の上のものを指すか、また bounded がどの base に対するものかは、Notion のタイトルだけからは確定できない。非公開ノートの当該節と照合する必要がある。 ## Goal 予想を正確な形に述べ、証明または反例を与える。成り立てば、bounded 性という相対的な条件が \(\Xi\) の内部的な性質へ翻訳される。 ## Personal context [[nfrbb5]] は「bounded なら LSC を持つか」という存在問題で、こちらは「bounded であることを \(\Xi\) で特徴づける」逆向きの問いである。nfrbb5 自身が「この存在予想に加えて」と両者を区別している。[[mhv4sn]]（relative LSC program）も同じ相対化を base の側から進めている。 ## 2026-08-26 AI研究監査：自然な解釈への反例 通常の意味で「対象 $B$ が bound であること」と「canonical local-state map $\xi_B:B\to\Xi$ が epi であること」の同値は偽である．非自明な離散群 $G$ に対し，$G$-set topos を考え，$B=G$ を正則左作用とする．$B$ は bound である（任意の $G$-set は $G$ の copower の quotient）．しかし \[ \xi_B(g)=\operatorname{Stab}(g)=1 \] なので $\xi_B$ の像は自明部分群だけであり，$\Xi=\operatorname{Sub}(G)$ への epi ではない． 群作用と presheaf の site-level 記述では，正しい置換候補は \[ B\text{ is a bound} \quad\Longleftrightarrow\quad \uparrow\operatorname{im}(\xi_B)=\Xi \] である．すなわち epi そのものではなく，像が order に関して cofinal であることを要求する．一般の relative topos における定式化と証明は未完了． ## 2026-09-07 解決（Claude scheduled run） 2026-08-26 監査の置換候補「\(B\) が bound \(\Leftrightarrow\uparrow\!\operatorname{im}(\xi_B)=\Xi\)」を，任意の Grothendieck topos で証明した．証明・系（前層トポス，global bottom を持つ場合，連続 \(G\)-sets）・未解決事項（相対版・新規性）は [[qdhgdp]] にまとめた．元の主張「\(\xi_B\) epi ⇔ bound」は ⇒ のみ成立（⇐ は \(G\text{-}\mathbf{Set}\) の \(B=G\) が反例）で確定．

condensed setsのLSC ## Trigger Notion「研究テーマ」DBの `LSC of condensed setsって，profinite setのカントール ranK(だっけ？)を分類していたりしない？一般に，Gaeta toposのLSCを知りたい．`（優先度★★★★、進行状況 ○○○、coresearcher 欄は空）から瓶化した。**Notion のタイトル自体が問いになっており**、本文は「Cantor-Bendixson rank」の一行だけである。 ## Idea タイトルには、粒度の違う二つの問いが書かれている。 1. condensed sets の topos の local state classifier \(\Xi\) は、profinite set の Cantor--Bendixson rank を分類しているのではないか 2. より一般に、Gaeta topos の \(\Xi\) を知りたい Cantor--Bendixson rank は、位相空間から孤立点を繰り返し取り除く操作の超限反復で定まる順序数で、profinite set に対しては scattered なものの階層を測る。\(\Xi\) が quotient を分類する対象であることを踏まえると、「どの点をどの段階で潰すか」がこの rank として現れる、という読みになる。ただしこれは瓶化時の補完であり、原メモは「分類していたりしない？」という問いの形にとどまる。 ## Goal condensed sets の \(\Xi\) を計算し、Cantor--Bendixson rank との対応の有無を決定する。そのうえで、一般の Gaeta topos の \(\Xi\) を記述する。 ## Personal context [[dvp4vx]] は「topological な gros topos の \(\aleph_0\)-Gaeta-approximation が condensed set topos になるのではないか」という予想である。それが正しければ、Gaeta topos の \(\Xi\) を知る問いは condensed sets の場合へ帰着する。逆に本瓶で condensed sets の \(\Xi\) が分かれば、[[dvp4vx]] の予想を検証する材料になる。 ## 2026-09-07 AI 研究継続（Claude scheduled run） [[bp8m8p]] で次を証明した．(1) \(\operatorname{Sub}_{\mathrm{Cond}}(\underline S)\cong\) 閉集合の ideal，\(\operatorname{Quot}_{\mathrm{Cond}}(\underline S)\cong\) ideal equivalence relation（\(S\times S\) の閉関係の ideal で \(\Delta\)・対称・合成で閉じるもの）．(2) extremally disconnected \(T\) 上で \(\Xi_{\mathrm{Cond}}(T)=\mathrm{IER}(T)/(\text{clopen 分割の対角 block での一致})\)．(3) Cantor–Bendixson rank は admissible class \(\mathcal P_\gamma=\{X\mid X^{(\omega^\gamma)}=\emptyset\}\) の定める equivalence relation \(R_{\mathcal P_\gamma}\) の鎖 \([R_{\mathcal P_\gamma}]\in\mathcal E(\underline S,\Xi)\) として現れ，狭義増加の範囲が \(S\) の閉 scattered 部分空間の rank を測る．(4) 各 rank class は hyperconnected quotient \(\mathrm{Cond}\to\mathbf{Sh}(\mathcal P_\gamma)\) を与え（\(\mathbf{Sh}(\mathcal P_0)=\mathbf{Set}\)），TAC 42-11 の filter 対応を通じて「\(\Xi\) が CB rank を分類する」の正確な意味になる．ただし rank の鎖は \(\Omega_{\mathrm{Cond}}\)（subobject \(\{K\mid K^{(\omega^\gamma)}=\emptyset\}\subseteq\underline S\)）にも素朴に入る．一般の Gaeta topos の \(\Xi\) は [[bp8m8p]] 定理 A（\(\operatorname{colim}_{\text{分解}}\prod\operatorname{Quot}\)）で \(\operatorname{Quot}\) の計算に帰着する．

圏のcohomologyと平面性 ## Trigger Notion「研究テーマ」DBの `Cohomology of category and groupoid embeddability`（優先度★★★★、進行状況 Not started、coresearcher 欄に Noam Zeilberger）から瓶化した。本文は次の一行。 > Noam Zeilberger の言ってた，Johnstoneの論文，平面グラフ性が取り出せたりしないかなあ なお coresearcher 欄は共著者を意味しない（洞の確認、2026-08-16）。 ## Idea Notion のタイトルは「圏の cohomology」と「groupoid への埋め込み可能性」を並べており、本文は「平面グラフ性が取り出せないか」と問う。 小圏 \(\mathcal C\) が groupoid へ埋め込めるかという条件が \(\mathcal C\) の cohomology で判定でき、さらにグラフから作った圏へその判定を当てると平面グラフ性が現れるのではないか、という見立てと読める。ただしこの再構成は瓶化時の補完であり、原メモはこれ以上を書いていない。 「Johnstone の論文」がどれを指すかは Notion のページからは確定できない。Zeilberger が言及したもの、としか書かれていない。 ## Goal まず Johnstone の該当論文を特定する。そのうえで groupoid embeddability を圏の cohomology で特徴づけられるかを調べ、グラフの場合に平面性が回収されるかを判定する。 ## Personal context Noam Zeilberger との議論から出たもの。洞の cohomology 系の瓶（[[da9hkj]] regular-language topoi の cohomology、[[u7jfpc]] 力学系トポスの商と cohomology、[[cnaqat]] marked return-code cohomology）とは対象が違い、組合せ論的なグラフの性質を cohomology で取り出す方向にある。

認識論的再構成とcodensity ## Trigger Notion「研究テーマ」DBの `Epistemological reconstruction as codensity`（優先度★★★★、進行状況 Not started、Categorical Structures 欄は monad、coresearcher 欄に Hauato Saigo・Myers・Nakakouzi・Spivak・Yuta Yamamoto）から瓶化した。Notion の本文には少なくとも3つのアイデアが入っており、洞の判断で3つの瓶へ分けた。本瓶はその本体にあたる。 なお coresearcher 欄は共著者を意味しない（洞の確認、2026-08-16）。 ## Idea 「認識論的再構成」と呼ぶべき現象——認識から実在を、ある程度捨象したうえで再構築する手続き——を codensity monad として捉える。 原メモの整理では、現象学的な多様体は codensity monad より狭い（前者 \(\subset\) 後者）。挙げられている具体例は、Euclid space の open とその間の \(C^\infty\) 写像のなす圏が、多様体の圏へ埋め込むと稠密になる——それも絶対稠密になる——という事実である。この埋め込みに沿った codensity monad が、多様体という「実在」を open たちからの「認識」で再構築する手続きにあたる。 原メモは「本当に我々にとっての現実をそのように記述してもいい」と述べ、topos のアイデアもそこにあるとしている。「認識による拡張現実」という言い方もされている。 ## Goal 「認識から実在を再構築する」手続きの共通形を codensity monad として書き下し、現象学的な多様体の場合がその具体例として回収されることを確かめる。 ## Personal context 洞の topos への関心の根にある見方を monad の言葉で言い直そうとするもの。原メモは中国語の部屋や哲学的ゾンビにも触れ、「自分については分かるが、他人については分からない」という認識の非対称性が同じ枠に入るかも問うている。 数学内の類似例（locale・ultrafilter・ultraproduct ほか）は別の瓶へ、observable subcategory の話も別の瓶へ分けた。

co-Grothendieck topos ## Trigger Notion「研究テーマ」DBの `On co-Grothendieck topos`（優先度★★★、進行状況 ●●○、問いの定式化: Yes、Categorical Structures: Quotient topos / Topos、Last Edited 2023-09-12）から瓶化した。以下は原メモの範囲にとどめ、数学的な補完はしていない。 ## Idea **co-Grothendieck topos** とは、presheaf topos の **quotient** として実現できる topos のこと（原メモの定義）。 元の問いは「Grothendieck = co-Grothendieck か？」。原メモの見立てでは **No っぽい**: - locally connected が遺伝しない？ そこで原メモが「マシな問い」とするのは: **locally connected = co-Grothendieck か？** ## Personal context 洞の quotient topos program（presheaf topos の quotient の理論）の射程を測る問い。進行状況 ●●○ まで進んでいた。

classifying toposのLSC ## Trigger Notion「研究テーマ」DBの `LSC of classifying topos`（優先度★★★★、進行状況 Not started、coresearcher 欄に Joshua Wrigley、Categorical Structures 欄は LSC）から瓶化した。**Notion のページに本文は無く、タイトルと人名だけが記録されている。** hora-tex には `overleaf/Notes on classifying topoi` があるが、これが本テーマに対応するものかは未確認。 ## Idea geometric theory \(\mathbb T\) の classifying topos \(\mathbf{Set}[\mathbb T]\) の local state classifier \(\Xi\) が何になるかを問う。**具体的な定式化は Notion のページからは確定できないため、ここでは補完しない。** 自然に立つ問いとしては、\(\Xi\) が \(\mathbb T\) の側のどのデータ——モデルの商、\(\mathbb T\) に公理を足した理論、syntactic category の構造——に対応するかが考えられる。ただしこれは瓶化時の補完であって、原メモの主張ではない。 ## Goal Joshua Wrigley との議論の内容を確認し、問いを確定する。 ## Personal context [[x7k3qp]]（\(\Xi\) への射は何を分類するか）と [[r6y2tf]]（covariety が \(\Xi\) の upward closed subobject で分類される）は \(\Xi\) の側から「何を分類するか」を問うが、こちらは逆に「分類する側の topos の \(\Xi\) は何か」を問う。

位相代数のvariety theorem ## Trigger Notion「研究テーマ」DBの `Variety Theorem for Algebras with Topological Structures`（優先度★★★★、進行状況 ●○○、共著 Yusuke Inoue）から瓶化した。**Notion のページに本文は無い。** hora-tex を確認したところ、**同名の本格的な草稿が存在した**。 - `overleaf/Variety Theorem for Algebras with Topological Structures/` - 章立て: `1-intro.tex`（7,050 bytes）、`2-top.tex`（12,836）、`3-alg.tex`（5,319）、`4-lang.tex`（14,081）、`5-recog.tex`（11,337）、`10-conclusion.tex`（1,225） Notion の進行状況 ●○○ より実態が進んでいる。 ## Idea 位相構造を持つ代数に対する variety theorem を確立する研究方向。**共著のため、数学的な内容はこの瓶に写さない。** 中身を見るときは上の tex を直接読む。 章の名前（top / alg / lang / recog）から、位相・代数・言語・recognition の四つを繋ぐ構成であることは読み取れる。 ## Goal 共著者と調整のうえ草稿を完成させる。 ## Personal context Eilenberg の variety theorem を位相構造つきの代数へ拡張する方向は、[[ynue2x]]（言語クラス上の closure operators）や [[p7g4vm]]（言語クラスから prodiscrete Galois monoid を再構成する）と同じ領域にある。

Universal Enrichment of Cat ## Trigger Notion「研究テーマ」DBの `Universal Enrichment of Cat`（優先度 Active、進行状況 ○○○、共著 Hayato Nasu・Richard Garner）から瓶化した。**Notion のページに本文は無く、タイトルと共著者名だけが記録されている。** 進行状況 ○○○ は未着手を示す。hora-tex の `papers/registry.yaml` にも対応する草稿は無い。 ## Idea \(\mathbf{Cat}\) の universal な enrichment を問う研究方向。**具体的な定式化は Notion のページからは確定できないため、ここでは補完しない。** ## Goal 共著者との議論の内容を確認し、問いを確定する。 ## Personal context Richard Garner は [[gqyqbc]]（local state classifier と copower objects の直接の関係）でも、Peter Johnstone と独立にその問いを尋ねた人物として登場する。 ## hora-tex 調査（2026-08-16） 洞の示唆により hora-tex を探したところ、**草稿が存在した**。 - `overleaf/The universal enrichment on the category of categories/FirstVersion.tex`（31,344 bytes） Notion 側の進行状況は ○○○（未着手）と記録されているが、実際には草稿が書かれている。Notion の記録が実態より古い。 🔴 共著（Hayato Nasu・Richard Garner）のため、**内容はこの瓶に写さない。** 中身を見るときは上の tex を直接読む。 ## 訂正（2026-08-16） 本文で Hayato Nasu・Richard Garner を「共著」と書いたのは誤りである。Notion の `coresearcher` 欄の記載をそのまま共著と解釈したが、洞の確認により、この欄は共著者・議論した相手・謝辞に載せる人を区別せず含むことが分かった。**この2名は議論した相手であり、論文の著者に名を連ねる関係ではない。** したがって上に書いた「共著のため内容を写さない」という理由づけは正確でない。ただし草稿の内容をこの瓶へ写さない方針自体は変えない——中身を見るときは `overleaf/The universal enrichment on the category of categories/FirstVersion.tex` を直接読む。

toposの点とlocal semigroup ## Trigger Notion「研究テーマ」DBの `Topoi of automata I` ページ（arXiv:2411.06358 の作業メモ）に残っていたメモから瓶化した。原文は「点を考えると"local theory of semigroup"になる」。 既存の [[rjcp4h]] は「regular languages の topos の点をすべて記述せよ。より概念的には、この topos が分類する theory は何か」と問うており、このメモはその後半への答えの候補にあたる。既存瓶への材料追記ではなく独立した問いとして立てるのは洞の判断による。 ## Idea automata / regular languages の topos の点を、点の集合としてではなく、それが分類する geometric theory の側から見る。原メモの見立ては、その theory が semigroup の「local」な理論になるというものである。 ただし、ここでの local が何を指すかは原メモだけからは確定できない。候補は少なくとも次の三つある。 1. idempotent の周りの local subsemigroup \(eSe\) の理論（有限半群論の local divisor の意味） 2. \(\Sigma\text{-}\mathbf{Set}\) の各点における stalk が与える semigroup の理論 3. local variety of languages に対応する theory（[[r8c6wy]] の局所版の対応） 問うのは次の2点である。 - automata の topos の点の圏が、ある geometric theory のモデルの圏として書けるか。 - その theory が上のどの意味で semigroup theory の局所版として同定できるか。 \(\Sigma\text{-}\mathbf{Set}\) の点については、canonical point と、finite edit distance を除いた infinite words に対応する noncanonical points があることが既に分かっている（[[rjcp4h]] [[v6m2qz]]）。この記述と「local theory of semigroup」という見立てをどう繋ぐかが具体的な足がかりになる。 ## Goal automata の topos が分類する geometric theory を書き下し、それが local semigroup theory と一致するかを判定する。一致するなら、[[rjcp4h]] の「点をすべて記述せよ」に対して概念的な答えが与えられる。 ## Personal context [[rjcp4h]] の後半（この topos は何を分類するか）は dormant のまま残っていた。[[h6q9vx]] の program では syntactic monoid と hyperconnected quotient の対応が中心だが、同じ対応を点の側から見る筋がこれにあたる。

表現論のtopos的逆数学 ## Trigger Notion「研究テーマ」DBの `(数理の後輩) A topos theoretic view of Representation theory / Dynkin topos project`（優先度★★★★、進行状況 ●○○、共著 Hisashi Aratake・Ivan Tomasic・Kuroki・Yiqi）から瓶化した。 既存の [[jedtmj]]（Dynkin topos構想）は chatgpt との会話由来の単独の構想で、共著者が記録されていない。こちらは後輩たちとの共同プロジェクトとして別に立てる（洞の判断）。以下は Notion 本文にある洞自身のメモの範囲にとどめる。 ## Idea メインアイデアは、次の二つが対応するというものである。 - （学部1年の）線形代数について、構成可能数学を土台に逆数学を展開すること - 各種の表現論（群、モノイド、quiver、圏など）や、ベクトル空間の層の圏に関する性質の分類 すなわち「構成可能数学でどのくらい線形代数が展開できるか」という問いは、「表現論における定理がどのくらい成立するか」と密接に結びつくはずである。 具体的な対応の見立てとして次が挙げられている。 - 群の表現論は古典論理に対応する。では \(\mathbb N\) の表現論は何に対応するか - complete reducibility は ambient topos が boolean であることに対応するのではないか - Dynkin 図形に対して、Gabriel の定理を通した論理的な対応物があれば最高 対象を広げる方向として、profinite 群の表現、位相空間上の層の圏、そして Galois 表現が挙がっている。 ## Goal 表現論の各定理を、それが成立する ambient topos の論理的性質によって分類する。（Notion のメモに明示された Goal ではなく、上の Idea から立つ自然な目標として書いた。） ## Personal context [[jedtmj]] は Gabriel の定理を internal linear algebra として読む構想で、[[d8q3wc]]（LSC classification and Gabriel's theorem）がその親にあたる。本瓶はそれを「線形代数の逆数学」という広い枠へ置き直し、共同プロジェクトとして進めるものである。 hora-tex には関連する草稿として `overleaf/A topos theoretic view of Gabriel's theorem` と `papers/topos-view-gabriels-theorem` がある。後者の registry での readiness は `idea_archive`、authorship_status は `authorship_unclear_in_progress`。 ## 訂正（2026-08-16） 本文で Hisashi Aratake・Ivan Tomasic・Kuroki・Yiqi を「共著」と書いたのは誤りである。Notion の `coresearcher` 欄の記載をそのまま共著と解釈したが、洞の確認により、この欄は共著者・議論した相手・謝辞に載せる人を区別せず含むことが分かった。**この4名は議論した相手であり、論文の著者に名を連ねる関係ではない。** ## 数学的訂正（2026-08-27・独立検証2件つき） Idea 節の見立て「complete reducibility は ambient topos が Boolean であることに対応するのではないか」は、**両方向とも反例で否定される**（2026-05-05 の ChatGPT 会話「最初の論考」で得られ、Claude Opus 5 と GPT 系 codex の独立検証 2 件で確認済み。ADR-0018 quorum）。 - Boolean ⇒ 完全可約 の反例: \(G=C_p\), \(k=\mathbb F_p\)。\(\mathrm{PSh}(BG)\) は Boolean（groupoid 上の presheaf topos）で、内部文 Split\(^{\mathrm{loc}}\)（全射線型写像の分裂の Mitchell–Bénabou 解釈）も満たすが、\(\mathbb F_p[C_p]\cong\mathbb F_p[x]/((x-1)^p)\) は nilpotent ideal を持ち \(\mathrm{Rep}_{\mathbb F_p}(C_p)\) は semisimple でない。 - 完全可約 ⇒ Boolean の反例: \(M=\{1,e\}\), \(e^2=e\)。\(kM\cong k\times k\) は semisimple だが \(M\) は群でないので \(M\text{-Set}\) は Boolean でない。 より強く、\(G\)-Set では忘却関手 \(U:G\text{-Set}\to\mathrm{Set}\) が logical かつ conservative なので、内部の higher-order 文の充足は underlying の古典線型代数と完全に一致し、**外部完全可約性は通常の内部文では原理的に表せない**（局所性による。global-sections modality を足した拡張言語は除く）。Maschke が出るのは論理からではなく、内部スカラー環側の \(|G|^{-1}\in k\) と有限平均化からである。 残る正方向: - 局所完全可約性の slice 特徴づけ: \(\mathrm{PSh}(C)\models\mathrm{Split}^{\mathrm{loc}}\iff\) 任意の \(c\) で \([(C/c)^{\mathrm{op}},\mathrm{Vect}_k]\) が semisimple。 - 「内部の非自明な体上、有限生成加群は基底を持つ」を要求すると内部排中律が導かれる（\(I_p=\{x\in\mathbb F_2\mid x=0\vee p\}\) と \(\mathbb F_2/I_p\) による）。線形代数の逆数学の最初のマイルストーン。 - Conjecture 4–7 系（Krull–Schmidt の構成的成立、Dynkin 図形をちょうど特徴づける論理的公理 Ax の存在）は本訂正の影響を受けず生存。

LSCはlocal equivalenceか ## Trigger Notion「研究テーマ」DBの `internal/or site description of LSC`（優先度 Active、進行状況 ●●○、共著 Olivia Caramello）から瓶化した。以下は原メモの内容の範囲にとどめ、数学的な補完はしていない。 ## Idea local state classifier \(\Xi\) を、外から（quotient の moduli として）ではなく、topos の内部言語で、あるいは site のデータから直接記述したい。 原メモの見立ては次のとおり。 - \(\Xi\) は「局所的な商」を分類しているのではないか。localic topos や presheaf topos ではそう見える - その内部での正体は "local equivalence relation" ——局所的にのみ推移律を満たす関係——ではないか。通常の internal equivalence relation は global に過ぎる - スローガンとしては「The moduli space of singularities = local state」 - *Copower objects and their applications to finiteness in topoi* と関係するか（[[gqyqbc]] がまさにこの関係を問う瓶） ## Goal \(\Xi\) の internal な特徴づけ——local equivalence relation としての公理——を書き下し、それが quotient の moduli としての定義と一致することを示す。さらに site \((\mathcal C, J)\) が与えられたとき、\(\Xi\) を site のデータから構成する式を与える。 ## Personal context Olivia Caramello との進行中テーマ。同じく Caramello との `Relative LSC`（Notion 優先度★★★★）は \(\mathrm{Filt}(\Xi)\) の普遍性を調べる方向で、こちらは \(\Xi\) そのものの内部記述を問う。[[gqyqbc]]（Richard Garner と Peter Johnstone が独立に尋ねた copower objects との関係）は、原メモが明示的に繋いでいる先である。 ## 訂正（2026-08-16） 本文で Olivia Caramello を「共著」と書いたのは誤りである。Notion の `coresearcher` 欄の記載をそのまま共著と解釈したが、洞の確認により、この欄は共著者・議論した相手・謝辞に載せる人を区別せず含むことが分かった。**Olivia Caramello は議論した相手であり、論文の著者に名を連ねる関係ではない。**

LSCはisotropyのopensか ## Trigger Notion「研究テーマ」DBの `LSC as opens of isotropy groups`（優先度 Active、進行状況 ●●○、共著 Axel）から瓶化した。**Notion のページに本文は無く、タイトルと共著者名だけが記録されている。** 以下はタイトルが立てる問いの範囲にとどめ、内容の補完はしていない。 ## Idea タイトルが述べる主張は「local state classifier \(\Xi\) は、topos の isotropy group の opens として実現される」というものである。 topos の isotropy group（[[w6bzyj]] が先行研究として挙げる Funk--Hofstra の isotropy group、および [[n6v2sg]] が参照する Henry の localic isotropy group）は、topos に内在する群対象として各対象の自己同型を束ねる。一方 \(\Xi\) は quotient を分類する internal semilattice である。この二つを結ぶとき、\(\Xi\) の元が isotropy group の open subgroup に対応する、という形になるのではないか、というのがタイトルの見立てにあたる。 ただし次の点は Notion のページからは確定できない。 - どの isotropy group を取るか（内部群か localic 版か） - opens をどの位相に関して取るか - 対応をどの向きの写像として実現するか（\(\Xi\) から opens へか、逆か、同型か） ## Goal 「\(\Xi\) = isotropy group の opens」という対応を、どの isotropy group とどの位相について成り立つ主張なのかを正確に述べ、証明または反例を与える。 ## Personal context Axel との進行中のテーマ。[[n6v2sg]] は旧HP Problems 1.0.6「Is there a direct connection between local state classifiers and the isotropy group of a topos?」を吸収しているが、そちらは一般的な接続問題であり、この瓶が述べる具体的な形（opens としての実現）は入っていない。 ## hora-tex 調査（2026-08-16） 洞の示唆により hora-tex を探したところ、**共著草稿が存在した**。 - `overleaf/Isotropy and local state classifier/` — `Main.tex`、`Hora.tex`（4,970 bytes）、**`Axel.tex`（47,560 bytes）** 分量の大半は Axel 側が書いている。冒頭を確認した限り、localic group と (hyperconnected, localic) / (surjection, inclusion) の factorization、および open subgroups を対象とする圏の上の sheaf topos という、本瓶のタイトルが述べる方向がそのまま扱われている。 🔴 共著クリアランス前のため、**数学的な内容はこの瓶に写さない。** 中身を見るときは上の tex を直接読む。

Lex ComonadでRight Kanへ帰着 ## Trigger Notion「研究テーマ」DBの `When is a finite presheaf category a topos?`（優先度 Active、進行状況 ●●○、共著 Jeremie Marques）に残っていた手法のメモから瓶化した。原文は「Lex Comonadを用いて，Right Kan extensionの存在に帰着する．」。 既存の [[tk8psy]] は「\(\mathbf{fPSh}(\mathcal C)\) がいつ elementary topos になるか」という問いそのものを述べるが、その判定を Right Kan extension の存在へ帰着させるという手法は入っていない。洞の判断で独立した瓶として立てる。 ## Idea small category \(\mathcal C\) に対し、有限前層のなす圏 \(\mathbf{fPSh}(\mathcal C)\) が elementary topos（あるいは locally cartesian closed）になる条件を判定したい。 原メモの手法は、この判定を Lex Comonad を経由して Right Kan extension の存在問題へ帰着させるというものである。ここでどの comonad を指すか、また帰着の具体的な経路は原メモからは確定できない。想定される筋は、包含 \(\mathbf{fPSh}(\mathcal C)\hookrightarrow \mathbf{PSh}(\mathcal C)\) に沿った右随伴の有限性保存に exponential の存在を帰着させる形だが、これは瓶化時の補完であって原メモの主張ではない。 原メモが同じ場所に並べている材料は次の二つ。 - 前層圏の subobject classifier がその圏に住んでいるかで、どこまで判定できるか。\(\omega\) や simplex では住まないのではないか - \(\mathbf{FinSet}\) で必ず limit を持つような圏のクラスを考え、コンマ圏がその形になるという条件を課す ## Goal Lex Comonad と Right Kan extension による帰着を明示し、\(\mathbf{fPSh}(\mathcal C)\) の topos 性の判定条件を、[[tk8psy]] にある十分条件「すべての slice \(\mathcal C/c\) が essentially finite」より広い形で与える。少なくとも、帰着が成立する条件そのものを特定する。 ## Personal context [[tk8psy]] は旧HP Problems 6.0.1 由来の公開問題で dormant のまま残っていた。こちらは同じ問いへの攻め口を手法として切り出したものである。Burnside rieg 由来の動機は [[suw4hw]] に繋がる。 ## 訂正（2026-08-16） 本文で Jeremie Marques を「共著」と書いたのは誤りである。Notion の `coresearcher` 欄の記載をそのまま共著と解釈したが、洞の確認により、この欄は共著者・議論した相手・謝辞に載せる人を区別せず含むことが分かった。[[tk8psy]] にも「Jeremie Marques と議論され」とある。**Jeremie Marques は議論した相手であり、論文の著者に名を連ねる関係ではない。**

Gameの圏はtoposか ## Trigger Notion「研究テーマ」DBの `Games as recursive coalgebras` ページ（arXiv:2510.22886 の作業メモ）に残っていた未展開のアイデアから瓶化した。原文は「Locally finitely presentableだったりしない？その場合、前層圏への埋め込み見てトポスになったりしないの？hereditarily finite setかfinite gamesのなすsiteとか考えてよお」。 このうち locally finitely presentable であることは論文で確立済みで、[[tauvfv]] も "the locally finitely presentable category of combinatorial games" を前提に書かれている。残っているのは後半、すなわち topos になるかという問いであり、これは既存のどの瓶にも入っていない。 ## Idea impartial game を finite powerset functor \(\mathcal P_{\mathrm f}\) の recursive coalgebra として扱う圏 \(\mathbf{Game}\) は locally finitely presentable である。LFP 圏は finitely presentable objects のなす小圏 \(\mathcal A\) を取れば Gabriel--Ulmer duality により \(\mathrm{Lex}(\mathcal A^{\mathrm{op}},\mathbf{Set})\) と同値になり、前層圏 \([\mathcal A^{\mathrm{op}},\mathbf{Set}]\) の reflective 部分圏として実現される。 問うのは、この埋め込みの像がある site 上の sheaf の圏として書けるか——すなわち \(\mathbf{Game}\)（あるいはその適当な部分圏・完備化）が Grothendieck topos になるかである。 原メモが挙げる site の候補は次の二つ。 - hereditarily finite sets のなす圏 - finite games のなす圏 LFP であることは topos であることを含意しない（reflective 部分圏が lex reflective でなければ sheaf 圏にならない）ので、これは自明ではない。 ## Goal \(\mathbf{Game}\) が Grothendieck topos かどうかを決定する。topos なら、上の候補のどちらか（あるいは別の圏）を site として明示する。topos でないなら、どの条件が破れるか——subobject classifier の不在か、reflector の左完全性か——を特定し、topos になるように圏をどう取り替えればよいかを見る。 ## Personal context 洞の topoi of systems の系列（力学系・オートマトンを topos として見る研究）と、combinatorial game の研究が交差する点にある。\(\mathbf{Game}\) が topos なら、game に対して内部論理・subobject classifier・geometric morphism といった道具がそのまま使えるようになり、[[tauvfv]] の monoidal closed structures の分類や [[g6c8vx]] の internal hom の記述にも効く可能性がある。 ## 2026-08-26 監査結果：否定解は原論文中に既出 この問いは原論文の Remark B.27 で既に否定されている．$\mathbf{Game}$ は subobject classifier を持つ一方で cartesian closed ではない．従って elementary topos でも Grothendieck topos でもない． ただし Conway addition に関しては symmetric monoidal closed であり，cartesian closedness の失敗と monoidal closedness は区別される．また restricted Yoneda により前層圏の reflective 部分圏として表現できるが，reflector は left exact ではないため sheaf category にはならない．

Games and Species ## Trigger Notion「研究テーマ」DBの `Games and Species`（優先度 Active、進行状況 ●○○、共著 Zeinab Galal）から瓶化した。**Notion のページに本文は無く、タイトルと共著者名だけが記録されている。** hora-tex の `papers/registry.yaml` にも対応する草稿は無い。 ## Idea combinatorial game と combinatorial species を繋ぐ研究方向。**具体的な定式化は Notion のページからは確定できないため、ここでは補完しない。** 接点として既に瓶にあるのは次の一点のみである。[[jkjtsg]] は box product を Day convolution として実現できるかを問う中で、原メモの「2-rig にしたいなら、species とパラレルに！」を引いている。本テーマがこれと同じ接点を指すかは未確認。 ## Goal Zeinab Galal との議論の内容を確認し、問いを確定する。 ## Personal context 洞の combinatorial game 研究（[[v7p3ka]] 系列）と、species の理論を繋ぐ共同方向。 ## hora-tex 調査（2026-08-16） hora-tex を探したが、Zeinab Galal との `Games and Species` に対応する草稿は `papers/` にも `overleaf/`（245プロジェクト）にも見つからなかった。 ただし species 自体は別の場所で本質的に現れる。 - `papers/differential-calculus-games/study-2026-07-28/19-differential-calculus-of-games.md` が Loregian--Trimble *Differential 2-rigs* を精読し、「ある colored species の圏が1生成元上の free differential 2-rig である」ことを記録している（詳細は [[jkjtsg]] へ移した） - 洞の草稿 `Ver1:170` は Joyal 1981 の Proposition 5 = species の Leibniz rule を引用している - 複数の草稿に `\memo{Rieg of species? Differential operator?}` という TeX メモがある 本テーマがこれらと同じ接点を指すのか、Galal との別の話なのかは未確認のまま。 ## 訂正（2026-08-16） 本文で Zeinab Galal を「共著」と書いたのは誤りである。Notion の `coresearcher` 欄の記載をそのまま共著と解釈したが、洞の確認により、この欄は共著者・議論した相手・謝辞に載せる人を区別せず含むことが分かった。**Zeinab Galal は議論した相手であり、論文の著者に名を連ねる関係ではない。**

無限gameとω-semigroup ## Trigger Notion「研究テーマ」DBの `infinite game and ω-semigroup`（優先度★★★★、進行状況 ●○○、coresearcher 欄に Komatsu・Yusuke Inoue、Categorical Structures 欄に coalgebra、共同研究 ◯）から瓶化した。**Notion のページに本文は無く、タイトルと人名だけが記録されている。** hora-tex の `papers/` にも `overleaf/`（245プロジェクト）にも対応する草稿は見つからなかった。 ## Idea 無限ゲームと \(\omega\)-semigroup を繋ぐ研究方向。**具体的な定式化は Notion のページからは確定できないため、ここでは補完しない。** \(\omega\)-semigroup は無限語の認識を扱う代数で、有限語に対する monoid の役割を担う。Notion の Categorical Structures 欄には coalgebra とある。 ## Goal Komatsu・Yusuke Inoue との議論の内容を確認し、問いを確定する。 ## Personal context 洞のゲーム系（[[v7p3ka]] 系列）と言語系（[[v6m2qz]] の infinite-word points、[[h6q9vx]] の hyperconnected language theory）の交差点にある。

言語のfactorizationはGaloisか ## Trigger Notion「研究テーマ」DBの `Topoi of automata I` ページ（arXiv:2411.06358 の作業メモ）に残っていたメモから瓶化した。原文は「Star-free language と group languageに分解するの，atmtのtoposのSetへの射の分解を考える．これってGalois theoryなの？」。 既存の [[p7g4vm]]（言語クラスから prodiscrete Galois monoid を再構成する）と [[h6q9vx]]（hyperconnected quotients と language classes の対応）はいずれも「言語クラスから monoid へ」という向きであり、分解そのものを geometric morphism の factorization として読む視点は入っていない。 ## Idea regular language は star-free part と group part へ分けられる。Krohn--Rhodes の分解定理と、Schützenberger による star-free = aperiodic の特徴づけがその原型である。この分け方を、automata の topos から \(\mathbf{Set}\) への geometric morphism の factorization として読めるかを問う。 具体的には、\(\Sigma\text{-}\mathbf{Set}\)（あるいは finite-orbit topos）から \(\mathbf{Set}\) への射を \[ \mathcal E \longrightarrow \mathcal E' \longrightarrow \mathbf{Set} \] と中間の topos を経由させ、一方の段が group part、他方が star-free part に対応するような factorization system が存在するかを問う。候補としては hyperconnected--localic factorization、connected--étale factorization がある。 さらに、この factorization が Galois theory——中間の topos が Galois monoid の作用の topos として記述され、その部分構造と中間段が対応する構造——を成すかを問う。 ## Goal star-free / group の切り分けに対応する factorization system を topos の側で同定する。そのうえで、中間の topos と Galois monoid の部分構造が対応する（Galois correspondence が成り立つ）かを判定する。成り立つなら、Krohn--Rhodes 型の定理を topos の factorization の言葉で述べ直せる。 ## Personal context Notion の別ページ `Krohn-Rhodes theory 理解したい`（優先度★★★★、Sin'ya さんとの共同方向）と直接つながる。[[p7g4vm]] が「言語クラスから monoid を作る」向きなのに対し、こちらは「既にある切り分けを topos の射の構造として読む」向きであり、両者は同じ対応の裏表になりうる。

diffeological空間のtangent ## Trigger Notion「研究テーマ」DBの `TANGENT SPACES OF DIFFEOLOGICAL SPACES AND THEIR VARIA…`（優先度 Active、進行状況 ●●○、共著 Geoff・taho）から瓶化した。**Notion のページに本文は無く、タイトルと共著者名だけが記録されている。** タイトルは Notion 上で途中で切れており、末尾が variants か variations かは確定できない。hora-tex の `papers/registry.yaml` にも対応する草稿は無い。 ## Idea diffeological space の tangent space と、その変種を扱う研究方向。**具体的な定式化・結果は Notion のページからは確定できないため、ここでは補完しない。** diffeological space の tangent space には複数の定義（internal tangent space、external tangent space など）が知られており、タイトルの「variants」はそれらの比較を指す可能性があるが、これは瓶化時の推測であって原メモの主張ではない。 ## Goal 共著者との議論の内容を確認し、問いを確定する。 ## Personal context kobin の近傍は [[dpufpe]]（SmoothSet の local state classifier は local quotient germs の sheaf）と [[ged4zf]]（Internalizing knot spaces in SDG）で、どちらも smooth な設定を topos 側から見る方向にある。本テーマは diffeological space そのものの微分構造を扱う点で、それらとは別の入口にあたる。 ## hora-tex 調査（2026-08-16） hora-tex を探したが、diffeological space の tangent space を扱う草稿は `papers/` にも `overleaf/`（245プロジェクト）にも見つからなかった。 diffeology への言及は次の1箇所のみである。 - `overleaf/Modality in topos theory/ADJOINT MODALITY IN COMBINATORICS, GEOMETRY, AND LOGIC/Ver20240527/main.tex:481` の `\memo{Relation to diffeology}` これは modality の文脈に置かれたメモであり、本テーマ（tangent space とその variants）とは別。したがって、この研究方向の内容は現時点で Notion のタイトル以外にどこにも記録されていない。 ## 訂正（2026-08-16） 本文で Geoff・taho を「共著」と書いたのは誤りである。Notion の `coresearcher` 欄の記載をそのまま共著と解釈したが、洞の確認により、この欄は共著者・議論した相手・謝辞に載せる人を区別せず含むことが分かった。**この2名は議論した相手であり、論文の著者に名を連ねる関係ではない。**

box積はDay convolutionか ## Trigger Notion「研究テーマ」DBの `Games as recursive coalgebras` ページ（arXiv:2510.22886 の作業メモ）に残っていた未展開のアイデアから瓶化した。原文は「box-productをDay convolutionとして実現できないか？ωやℕで考える。chainのテンソルとも似てる。2rigにしたいなら、speciesとパラレルに！」および「やりたいことはtopos of treesのDay convolutionみたいなものとの比較だし、実際随伴作っちゃいたい」。 ## Idea \(\mathbf{Game}\) 上の box product（Conway addition を与える monoidal 構造）を、ある small monoidal category 上の Day convolution として実現できるかを問う。 Day convolution は small monoidal category \(\mathcal A\) に対し前層圏 \([\mathcal A^{\mathrm{op}},\mathbf{Set}]\) へ monoidal 構造を誘導する。\(\mathbf{Game}\) が前層圏あるいはその reflective 部分圏として書けるなら（この点は [[Gameの圏はtoposか]] の問いと繋がる）、box product が \(\mathcal A\) の monoidal 構造から Day convolution として誘導されるかを問える。 原メモが挙げる比較対象は次の三つ。 - \(\omega\) や \(\mathbb N\) を添字に取ったときの chain のテンソル - topos of trees の Day convolution - species の圏。\([\mathbb B,\mathbf{Set}]\) 上の Day convolution が species の積を与えるのと同じ形で、2-rig 構造を作るならこれとパラレルに構成する ## Goal box product が Day convolution として書けるかを決定する。書けるなら、添字圏 \(\mathcal A\) とその上の monoidal 構造を同定する。そのうえで、Conway addition の右随伴（[[g6c8vx]] の internal hom）が Day convolution の閉構造として自動的に出るかを確かめる。 ## Personal context [[tauvfv]] は「\(\mathbf{Game}\) 上の monoidal closed structures を全分類せよ」という問いだが、こちらは「既知の box product を Day convolution という具体的な手段で構成できるか」という構成の問いであり、分類問題への攻め口になる。また [[g6c8vx]] は internal hom の具体形を cofree game の部分として探しているが、Day convolution の一般論から閉構造が出るなら別ルートでの記述が得られる。 （追記）本文中の `[[Gameの圏はtoposか]]` はタイトルでの参照になっている。uid での正しい参照は [[ept4jm]] である。 ## species と differential 2-rig の材料（2026-08-16 追記） 原メモの「2rig にしたいなら、species とパラレルに！」に対応する既知の結果が hora-tex に記録されていた。出所は `papers/differential-calculus-games/study-2026-07-28/19-differential-calculus-of-games.md`。 - Loregian--Trimble, *Differential 2-rigs* ([arXiv:2103.00938](https://arxiv.org/abs/2103.00938)) は differential 2-rig を定義し（Def. 4.1）、1生成元上の free differential 2-rig を与える（Thm. 5.16）。そこでは「ある colored species の圏が1生成元上の free differential 2-rig である」ことが示されている - substitution / plethystic product に対する chain rule も同論文にある（Rem. 5.3、Thm. 5.18、証明は Appendix B） - Joyal 1981（Adv. Math. **42**(1):1--82）の Proposition 5 が species の Leibniz rule にあたる したがって「species とパラレルに 2-rig を作る」という筋は、Loregian--Trimble の free differential 2-rig の構成と直接比較できる。box product が Day convolution として書けたとき、それが colored species 側の構成とどう対応するかが具体的な問いになる。 ## 2026-08-26 AI研究監査：reflected Day convolution $\mathcal A=\mathbf{Game}_{\mathrm{fp}}$ を finitely presentable games の小 skeleton，$N:\mathbf{Game}\to[\mathcal A^{op},\mathbf{Set}]$ を restricted Yoneda， \[ L(P)=\int^{A\in\mathcal A}P(A)\cdot A \] をその左随伴とする．$\star$ が各変数で cocontinuous で finitely presentable games を保つ tensor なら，$\mathcal A$ 上の制限から Day convolution $\star_{\mathrm{Day}}$ が定まり， \[ L(P\star_{\mathrm{Day}}Q)\cong L(P)\star L(Q), \qquad X\star Y\cong L(NX\star_{\mathrm{Day}}NY) \] が自然に成り立つ．証明は Day convolution の coend 展開と cocontinuity： \[ \int^{A,B}P(A)\times Q(B)\cdot(A\star B) \cong \left(\int^AP(A)\cdot A\right)\star \left(\int^BQ(B)\cdot B\right). \] したがって box product / Conway addition は Game 自身を前層圏と同一視した literal Day convolution ではない（Game は topos でない）が，Gabriel--Ulmer の reflective presentation を通した canonical reflected Day convolution である．

2dim Lights Out ## Trigger Notion「研究テーマ」DBの `2dim Lights Out`（優先度 Active、進行状況 Writing、Subfield: game theory / ring and modules、共著 GengaQ）から瓶化した。**Notion のページに本文は無い。** 洞の示唆により hora-tex を確認したところ、対応する草稿が `papers/lights-out-algebra/` にあった。`papers/registry.yaml` の記録は次のとおり。 - slug: `lights-out-algebra`、rank 10 - 論文タイトル: *Lights Out and Snake Lemma* - authorship_status: `coauthored` - **advance_policy: `coauthor_clearance_required_before_text_or_submission`** - build_status: passed、readiness: `promising_cleanup_needed` - 作業状態の詳細は `papers/research_completion_review_2026-06-29/per_paper/11_lights-out-algebra.md` ## Idea 2次元 Lights Out を扱う共著論文の研究方向。**具体的な定式化・手法・結果は共著クリアランス前のため、この瓶では補完しない。** 内容を知りたいときは上の hora-tex の草稿と review を直接見る。 ## Goal 共著者と調整のうえ草稿を完成させる。 ## Personal context Notion の共著者欄は `GengaQ`、hora-tex の registry は `Kyosuke Higashida` と表記している。同一人物かは未確認のため、ここでは Notion 側の表記を discussed_with に入れた。確認がとれ次第どちらかへ統一する。

tropical lex exactness ## Trigger Garner–Lack の lex colimits を \(\mathbb N_\infty=(\mathbb N\cup\{\infty\},\ge,+,0)\)-enriched categories で考える話から．\(\mathbb N_\infty\)-Cat では有限極限側が max 型，weighted colimit 側が min-plus 型に見えるので，lex exactness が tropical algebra 的な交換法則として記述できる可能性がある． ## Idea Garner–Lack の \(\Phi\)-exactness を \(\mathbb N_\infty\)-enriched setting に持ち上げ，指定された finite weights に対する weighted colimits と finite limits の exactness を具体計算する．まず有限 \(\mathbb N_\infty\)-category / finite weights に限定し，finite limit が \(\max\) と induced submetric，weighted colimit が \(\inf(+ )\) で記述されることから，exactness 条件を tropical identities として抽出できるか調べる． 最初の問い： 1. \(\mathbb N_\infty\)-Cat における「finite weight」の適切な定義は何か． 2. 代表的な lex-colimit doctrines（regular / exact / extensive / adhesive 等）の enriched analogue は何を要求するか． 3. その条件は \(\max\) と \(\min,+\) の distributivity / residuation / tropical convexity の既知条件に一致するか． ## Goal lex colimits と tropical / metric geometry の間に実質的な橋を作る．単なる比喩ではなく，Garner–Lack exactness の具体的 enriched model として tropical algebra が現れる定理を得たい．最初の成果物として「finite \(\mathbb N_\infty\)-weights と finite-limit interaction」の小ノートを狙う． ## Personal context \(\mathbb N_\infty\)-valued weights，Garner–Lack lex colimits，enriched category theory への最近の関心から生じた．有限状態系・automata・weighted systems との接続も将来的に調べたい．

Ω-Profと非決定オートマトン ## Trigger Claude との double category 学習（equipment 視点の formal category theory．companion / conjoint / restriction を Ω-Prof = (preorder, monotone map, Ω-profunctor) の strict double category で計算していた）中に着想．準備中構想 *An enriched-categorical origin of ε-transitions* [[d89r8h]] の発展として位置づける（洞本人の指定による）． ## Idea 決定的な遷移は縦矢印（単調写像），非決定的な遷移は横矢印（Ω-profunctor ≒ 関係）として，同じ double category Ω-Prof の中に**別身分で共存**する．すると： 1. tight / loose の二層構造が determinism / non-determinism の区別と一致する 2. powerset construction は関係 R : Q ⇸ Q を写像 PQ → PQ へ持ち上げる操作として，companion / conjoint（f_* ⊣ f^*）や随伴を使って equipment の普遍性から特徴づけられるはず 3. determinize とは loose arrow を tight arrow で表現し直す操作（restriction / 表現可能性）ではないか 4. ε-transition の enriched 化 [[d89r8h]] と合流させれば，非決定性・ε遷移・冪集合構成が単一の equipment 的枠組みに収まる可能性 ## Goal non-determinism と determinization を equipment の一般論から演繹する描像を得る．うまくいけば Ω を他の quantale に替えるだけで weighted automata への一般化が従う． ## Personal context topoi of automata プログラムと enriched ε-transitions 構想 [[d89r8h]] の隣に位置する．進行中の double category 学習（Cruttwell–Shulman 読解が目標）の最初の応用候補．

為替のmodal semantics ## Trigger 為替市場を考えていると、「信用」や「未来の事象」のような epistemic / temporal modality が、為替レートという非常に実数値的な対象に「意味」を与えているように見える。これは modal logic の categorical / topological semantics に似た構図ではないか。 ## Idea 市場参加者ごとの情報状態・信念・将来シナリオを possible worlds とし、情報の到達可能性や時間発展を accessibility relation とみなす。その上で、各主体の modal な判断が注文として外化され、売買の整合点として為替レートという実数値 observable が形成される、と捉えられないか。 より categorical / topological には、局所的な情報と期待を sheaf・topos・locale 的な意味論で表し、為替レートをそれらの局所データから市場の決済機構を通じて得られる global section、あるいは何らかの quotient / aggregation とみなす可能性がある。裁定不可能性や価格の一貫性は、局所データの gluing 条件に対応するかもしれない。 中心的な問いは、命題的・modal な「信用」「期待」「将来可能性」が、取引という実現操作を介して、どのように実数値の価格へ semantic realization されるか、である。 ## Goal modal logic の意味論と価格形成を同じ形式の中に置き、信念更新・時間発展・情報の非対称性・市場価格の変化を統一的に記述する。特に、単なる比喩を越えて、どの構造が accessibility、valuation、gluing、observable に対応するのかを明確化する。

word gameとstar height 1予想 ## Trigger Inoue の発表（2026-07-30）で聞いた「語の上の subtraction game」から。局面は \(w \in \Sigma^*\)、固定した \(S \subseteq \Sigma^+\) に対し合法手は接頭辞除去 \(sx \to x\)（\(s \in S\)）、normal play。P-局面全体 \(P_S\) は well-founded グラフの kernel であり、一意に \[ \Sigma^* \setminus P_S = S\,P_S \] を満たす。これは Larsson の invariant subtraction game の \(\star\)-operator（\(S^\star := P_S \setminus \{\varepsilon\}\)）を可換モノイド \(\mathbb{N}^d\) から自由モノイド \(\Sigma^*\) へ非可換化したもの。関連メモは Inoue-2026-07-30/star-operator.md。 ## Idea **予想 (FGS: finite game-star conjecture)**: \(S\) が有限なら \(P_S\) の generalized star height は 1 以下。 分かっていること: - \(S\) 有限 \(\Rightarrow P_S\) は正規。ただし像 \(\mathrm{KFin}_\Sigma = \{P_S : S \text{ finite}\}\) は \(\mathrm{REG}\) の真部分クラス（例: \(P=\{\varepsilon\}\) は実現不能）。 - \(S\) が prefix code の場合は証明済み: \(T := \Sigma^* \setminus S\Sigma^*\) と置くと greedy 分解の一意性から \[ P_S = (S^2)^* T, \qquad N_S = S (S^2)^* T \] で、\(S\) 有限なら \(S^2, T\) は star-free なので \(h_{\mathrm{gen}} \le 1\)。 - 一般の有限 \(S\) では元同士が接頭辞として重なりゲーム木が分岐し、\(\mathbf{1}_P(w) = \neg \bigvee_{w=sx,\, s\in S} \mathbf{1}_P(x)\) という bounded NOR 固定点になる。この分岐を一段の Kleene star に flatten できるかが本体。 ## Goal - (FGS) が正なら \(\mathrm{KFin}_\Sigma \subseteq \mathcal{H}_1\) という大域定理。 - 逆に \(h_{\mathrm{gen}}(P_S) \ge 2\) となる有限 \(S\) が一つでもあれば、それ自体が Generalized Star Height 問題（高さ 2 以上の正規言語の存在）の否定的でない方向の解決例になる。どちらに転んでも価値がある。 ## Personal context - Generalized Star Height の既存ノート（STAR_FREE_PREFIX_CODE_COMPLEMENT_STAR_THEOREM.md, ONE_SIDED_STAR_FLATTENING_AND_LOOP_EXACT_HEIGHT.md）の prefix-code greedy 分解・一方向 flattening \((X^*Y)^* = \{\varepsilon\} \cup (X \cup Y)^* Y\) がそのまま道具になる。 - 関連未解決問題（発表者情報）: WordWythoff（\(S = a^+ \cup b^+ \cup \{|w|_a = |w|_b\}\)）の N-局面が context-free かは不明。 ## Machine evidence: S = {a, b, ab} は height ≤ 1（⚪COMPUTED, 2026-08-07） Fugu工場（mac miniの進化型探索ループ。検証器はゲームDP＋Brzozowski微分の式評価器、kernel方程式とprefix-code定理式による独立検証つき）が、重なりあり（a が ab の prefix）の最初のインスタンス S = {a, b, ab} で height-1 表現を発見した: P_S = (bb)* ( 1 | aa(aa)*(1 | bΣ*) | ba(aa)*(1 | bΣ*) ) DSL原文 `(bb)*(1|aa(aa)*(1|b~0)|ba(aa)*(1|b~0))`。長さ≤12の全語（8191語）と乱択30000語（長さ≤300）でP-position判定と完全一致、star nesting depth は 1。**ラベルは⚪COMPUTED（証明ではない）**。証明化は未着手。生データ: mini `~/fugu-factory/lottery/out/survivors.jsonl`。 ## 人物注記（2026-08-09） 本瓶の Inoue（`discussed_with` および Trigger の「Inoue の発表」）は**名古屋大学の井上助教**を指す。Proxima Technology の井上亜星氏（AI for Math 勉強会第2回登壇者）とは**全くの別人**。2026-08-09 にAIセッションが両者を混同する事故があったため明記する。なお本予想は gsh_bootstrap（public repo）とは無関係の話題であり、同 repo に混ぜない。