問い #219

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も証明しており，その会話は未特定．