着想 #181

LSC and Gabriel's theorem ## Trigger 旧HP Problems 1.5.1（2026-04-27版）と issue #43 の下書き5/Nから移した。local state classifier による hyperconnected quotient の分類と、Gabriel に始まる module category の localizing subcategory・商圏の理論が似た形を持つという観察が出発点である。 ## Idea 次の二つを特殊例として回収する「商・局所化の内部パラメータ化」の共通一般化はあるか？ 1. topos \(\mathcal E\) では、local state classifier \(\Xi\) の internal filter が hyperconnected quotient を分類する。 2. module category などの abelian category では、Gabriel の localizing subcategory が exact reflective localization と quotient category を統制する。 候補となる舞台として enriched category theory や Grothendieck enriched category が考えられるが、現段階では共通一般化が存在することも、この舞台が正しいことも確定していない。特に cartesian で非加法的な topos 側と、加法的・exact な Gabriel 側で、どの構造を共通に残すべきかが最初の問題である。 ## Comparison axes - **分類される商**: hyperconnected geometric morphism と exact reflective localization をどう同じ2-categorical概念に置くか。 - **分類パラメータ**: internal filter of \(\Xi\) と localizing/Serre subcategoryまたは Gabriel filter をどう同じ型に置くか。 - **生成と小ささ**: Grothendieck topos の生成子と Grothendieck abelian category の generator が、分類対象の存在をどこまで共通に保証するか。 - **再構成**: 分類パラメータから商を戻す構成が、base change や enrichment と両立するか。 ## Goal まず二つの分類定理を同じ表に置き、最小限共通する公理を抽出する。共通定理が得られない場合も、非加法性・exactness・内部論理のどこが障害かを特定し、「形式的な類似」と「実際に一般化できる構造」を分ける。 ## Personal context local state classifier 理論を presentable / enriched な圏へ広げる長期方向である。公式 Problems は enriched topos theory を可能性として挙げるが、この瓶では研究仮説として保持し、既存の準備中研究や未公開結果を確定事項として使わない。 ## References - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](https://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) - [Pierre Gabriel, *Des catégories abéliennes*](https://numdam.org/articles/10.24033/bsmf.1583/) - [Yuki Imamura, *Grothendieck enriched categories*](https://arxiv.org/abs/2105.05108) ## Notion からの吸収（2026-08-16） Notion「研究テーマ」DBの次の2件を、洞の判断でこの瓶へ吸収した。どちらも本文が空で、タイトルと分類欄だけが記録されていた。 - `Generalized LSC and Serre subcategory`（優先度★★★★、進行状況 Not started、coresearcher 欄は空） - `Serre subcatgeoryの分類とLSC`（優先度★★★★、進行状況 Not started、Categorical Structures 欄は Abelian category・Enriched category・Factorization system・LSC・Topos） 本瓶の Comparison axes にある「internal filter of \(\Xi\) と localizing/Serre subcategory または Gabriel filter をどう同じ型に置くか」が、この2件の指す内容にあたる。後者の Categorical Structures 欄が Enriched category を含むことも、本瓶が enriched category theory を候補の舞台として挙げていることと合う。