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」の内部言語的定義との一致は洞の確認待ち．