LSCは同値関係のgerm層

## Trigger [[x7k3qp]] は「射 \(X\to\Xi\) は何を分類するか」を，\(\Xi\) を使わずに定義された関手 \(F:\mathcal E^{\mathrm{op}}\to\mathbf{Set}\) と自然同型 \(\mathcal E(-,\Xi)\cong F\) を見つける問題として立て，前層トポスでの「figure ごとの quotient の compatible family」という記述を一般のトポスで内在的な moduli problem として言い換える部分を未解決としていた．[[xnv3ty]] は「\(\Xi\) は局所的な商を分類していて，内部での正体は local equivalence relation ではないか」という見立てを Notion メモから写していた．2026-09-07 の scheduled run（Claude）で，この二つに同時に答える定理を証明した：\(\Xi\) は **商（= internal equivalence relation）の前層を \(\mathcal E\) 自身の canonical topology で層化したもの** であり，射 \(X\to\Xi\) はちょうど \(X\) 上の **local equivalence relation（jointly epimorphic な族に沿った equivalence relation の germ）** を分類する．構成は Rosenthal／Kock–Moerdijk が位相空間上で行った「equivalence relation の germ の層」と形式的に同一である（ただし層化される前層自体は異なる．下記比較節）． 🟥 新規性について正直に：定理 A(1) の「cocone ＝ 商の前層からの自然変換」という対応は TAC 42-11 の Lemma 3.20（\(\Xi_0=Q\circ ay\) が \(\mathcal E_{\mathrm{mono}}\to\mathcal E\to[C^{\mathrm{op}},\mathbf{Set}]\) の colimit）と Prop. 3.21（\(\Xi=a\Xi_0\)）に site \(C\) の形で既にある．本瓶の寄与は，(i) site を \(\mathcal E\) 自身（canonical topology）に取り替えて **site 非依存** に述べたこと，(ii) その帰結として (2) の germ 記述 \(\mathcal E(X,\Xi)\cong Q^{++}(X)\) を Giraud を使わず直接証明したこと，(iii) 系 2・3・5・6 と Rosenthal／K–M への橋渡し，である．査読 subagent の確認では，(ii)(iii) は TAC 42-11・Kenney には見当たらない．Menni（arXiv:2505.07131）との重複は未確認． ## Setting and conventions \(\mathcal E\) を Grothendieck topos とし，\(\Xi=\operatorname{colim}(\mathcal E_{\mathrm{mono}}\to\mathcal E)\)，colimit cocone を \(\xi_E:E\to\Xi\) とする（TAC 42-11）．必要な箇所では \(\mathcal E=\mathbf{Sh}(C,J)\) と site 表示し，[[qdhgdp]]・[[n59qhv]] と同じ記法（\(\Xi_0(c)=\) \(ay(c)\) の quotient 全体，\(\Xi=a\Xi_0\)，\(\eta\) を unit，(S1) \(\eta(p)=\eta(p')\) iff cover 上で一致，\(\eta\) は locally surjective）を使う． **商の前層 \(Q\)．** \(Q:\mathcal E^{\mathrm{op}}\to\mathbf{Set}\) を \[ Q(T):=\{\text{internal equivalence relations }R\rightarrowtail T\times T\} \cong\{\text{quotients (co-subobjects) }q:T\twoheadrightarrow E\} \] とし，\(f:T'\to T\) に沿う制限を \(Q(f)(R)=(f\times f)^{-1}(R)\) とする．quotient の言葉では \(Q(f)(q)=\) \(q\circ f\) の epi part である（\(qf=me\)，\(m\) mono なら \(\ker(qf)=\ker(e)=(f\times f)^{-1}\ker q\)．トポスでは equivalence relation は effective，epi は regular なので両者は一致する）．\(\mathcal E\) は well-powered なので各 \(Q(T)\) は集合．TAC 42-11 の \(\Xi_0\) は \(Q\circ ay\) にほかならない． **canonical topology と local equivalence relation．** \(\mathcal E\) 上の canonical topology の covering sieve とは，小さい jointly epimorphic な族を含む sieve のこと（jointly epi 族は pullback で安定，合成で閉じる）．各 \(X\) について，生成集合からの射のなす小さい jointly epi 部分族で生成される sieve が cofinal なので，plus construction \(Q^{+}\)，\(Q^{++}\) は集合値の前層として well-defined である． \[ \mathbf{LEq}(X):=Q^{++}(X) \] の元を \(X\) 上の **local equivalence relation** と呼ぶ．具体的には，小さい jointly epi 族 \(\{t_i:T_i\to X\}\) と \(R_i\in Q(T_i)\) であって，\(t_iv=t_jw\) なる任意の \(v,w\) について \([R_i]\cdot v=[R_j]\cdot w\) が \(Q^+\) で成り立つ（すなわち \(T_i\times_XT_j\) のある cover 上で pullback が一致する）族を，共通の refinement 上での一致で同一視したものである．元 \(R\in Q(T)\) の定める class を \([R]\in\mathbf{LEq}(T)\) と書く（germ）． ## Theorem A（\(\Xi\) は商の前層の canonical 層化） **定理 A．** 自然変換 \(\theta:Q\to\mathcal E(-,\Xi)\) を \[ \theta_T(q:T\twoheadrightarrow E):=\xi_E\circ q \] で定めると，次が成り立つ． 1. **（普遍性）** 任意の \(F\in\mathcal E\) について \(\theta\) との合成は全単射 \[ \mathcal E(\Xi,F)\;\xrightarrow{\ \cong\ }\;\operatorname{Nat}\bigl(Q,\ \mathcal E(-,F)\bigr) \] を与える．すなわち \(\Xi\) は前層 \(Q\) の representable 前層への reflection であり，\(\theta\) がその unit である（representable が canonical topology の sheaf であることは (2) で直接使う．逆向き「canonical sheaf は representable」（Giraud）は使わない）． 2. **（germ 記述）** \(\theta\) は canonical topology について locally injective かつ locally surjective であり，従って \(X\) について自然な全単射 \[ \boxed{\;\mathcal E(X,\Xi)\;\cong\;\mathbf{LEq}(X)=Q^{++}(X)\;} \] がある．すなわち **射 \(X\to\Xi\) はちょうど \(X\) 上の local equivalence relation を分類する．** ### Proof of (1) （この対応は TAC 42-11 Lemma 3.20 の証明と同じで，site \(C\) を \(\mathcal E\) に置き換えただけである．）\(\theta_T\) は quotient の同型類上 well-defined（同型は mono なので cocone 条件 \(\xi_E\varphi=\xi_{E'}\)）．自然性：\(f:T'\to T\)，\(qf=me\)（\(m:E'\rightarrowtail E\)）に対し \(\theta(q)f=\xi_Eqf=\xi_Eme=\xi_{E'}e=\theta(Q(f)q)\)． \(\mathcal E_{\mathrm{mono}}\to\mathcal E\) の cocone \((\varphi_E:E\to F)_E\)（mono \(m:E'\rightarrowtail E\) に対し \(\varphi_Em=\varphi_{E'}\)）と自然変換 \(\tau:Q\to\mathcal E(-,F)\) の間の対応を \[ \varphi\mapsto\tau^\varphi,\quad \tau^\varphi_T(q:T\twoheadrightarrow E):=\varphi_E\circ q;\qquad \tau\mapsto\varphi^\tau,\quad \varphi^\tau_E:=\tau_E([\mathrm{id}_E]) \] で定める．\(\tau^\varphi\) の自然性は上と同じ計算．\(\varphi^\tau\) が cocone であること：\(\varphi^\tau_E m=\tau_E(\mathrm{id}_E)\,m=\tau_{E'}(Q(m)\,\mathrm{id}_E)=\tau_{E'}(\text{epi part of }m)=\tau_{E'}(\mathrm{id}_{E'})=\varphi^\tau_{E'}\)．往復：\(\varphi^{\tau^\varphi}_E=\varphi_E\mathrm{id}=\varphi_E\)．\(\tau^{\varphi^\tau}_T(q)=\tau_E(\mathrm{id}_E)\,q=\tau_T(Q(q)\,\mathrm{id}_E)=\tau_T(q)\)（\(Q(q)(\mathrm{id}_E)=q\) の epi part \(=q\)）．よって \(\operatorname{Cocone}(F)\cong\operatorname{Nat}(Q,\mathcal E(-,F))\) で，colimit の普遍性 \(\mathcal E(\Xi,F)\cong\operatorname{Cocone}(F)\) と合成すればよい．colimit cocone \((\xi_E)\) に対応する自然変換が \(\theta\) である．∎ ### Proof of (2) site 表示 \(\mathcal E=\mathbf{Sh}(C,J)\) をとる．まず \(T=ay(c)\) のとき \(\theta_{ay(c)}(q)=\eta_{\Xi_0}(q)\in\Xi(c)=\mathcal E(ay(c),\Xi)\)：generic element \(\iota_c=\eta_{y(c)}(\mathrm{id}_c)\in ay(c)(c)\) について \(\xi_Eq\) に対応する元は \(\xi_E(q(\iota_c))=\eta(q_{q(\iota_c)})\) で，\(\lceil q(\iota_c)\rceil=q\) は既に epi なので \(q_{q(\iota_c)}=q\)． *Locally surjective.* \(x:T\to\Xi\) とする．全ての射 \(t:ay(c)\to T\)（\(c\in C\)）のなす族は小さく jointly epi．各 \(t\) について \(xt\in\Xi(c)=(a\Xi_0)(c)\) なので (S1) により \(J\)-cover \(\{f_j:c_j\to c\}\) と \(q_j\in\Xi_0(c_j)=Q(ay(c_j))\) で \(x\,t\,ay(f_j)=\eta(q_j)=\theta(q_j)\)．\(\{t\,ay(f_j)\}_{t,j}\) は jointly epi 族の合成なので jointly epi． *Locally injective.* \(q,q'\in Q(T)\)，\(\theta(q)=\theta(q')\) とする．各 \(t:ay(c)\to T\) について \(\eta(Q(t)q)=\theta(q)t=\theta(q')t=\eta(Q(t)q')\) なので (S1) により \(J\)-cover \(\{f_j\}\) 上で \(Q(t\,ay(f_j))q=Q(t\,ay(f_j))q'\)．やはり \(\{t\,ay(f_j)\}\) は jointly epi． *一般補題.* site（各対象に小さい cofinal な covering sieve 族があるもの）上の sheaf \(F\) と，locally injective かつ locally surjective な \(\theta:P\to F\) について，誘導される \(P^{++}\to F\) は同型．証明：\(F\) が sheaf なので \(\theta\) は \(\theta^+:P^+\to F\) を経由する．\(\theta^+\) は単射：matching family \((S,p),(S',p')\) が同じ \(x\) に貼り合うなら，\(s\in S\cap S'\) で \(\theta(p_s)=xs=\theta(p'_s)\)，locally injective より \(\operatorname{dom}s\) の covering sieve \(S_s\) 上で \(p_s,p'_s\) が一致，\(S''=\{su\mid s\in S\cap S',u\in S_s\}\) は covering で両者はそこで一致するから \(P^+\) で等しい．\(\theta^+\) は locally surjective かつ単射なので，\(x\in F(T)\) に対し \(\theta(p_s)=xs\) となる \((p_s)_{s\in S}\) を取れば \(([p_s])_s\) は \(P^+\) の matching family（\(\theta^+([p_s]u)=xsu=\theta^+([p_{su}])\) と単射性），これが \(x\) に写る \(P^{++}(T)\) の元を与える．\(P^{++}\to F\) の単射性も同様（\(\theta^+\) 単射と \(F\) の sheaf 性）．∎ canonical topology では representable \(\mathcal E(-,\Xi)\) は sheaf（Grothendieck topos の小さい jointly epi 族は universally effective epimorphic）なので，補題を \(\theta\) に適用して (2) を得る．∎ **注（size）．** (1) は size を気にせず成り立つ（\(Q(T)\) は集合，\(\mathcal E\) は locally small）．(2) の \(Q^{++}\) は，生成集合からの射で生成される covering sieve が cofinal であることから集合値で定義できる．Giraud の定理（\(\mathbf{Sh}(\mathcal E,\mathrm{can})\simeq\mathcal E\)）は使っていない． ## Corollaries **系 1（\(\xi_X\) は等号関係の germ）．** \(\xi_X=\theta_X(\Delta_X)=[\Delta_X]\)．figure \(x:T\to X\) に対し \(\xi_X\circ x=[\ker(x)]\)（\(\ker(x)=(x\times x)^{-1}\Delta_X\) は \(x\) の kernel pair）． 証明：\(\theta_X(\mathrm{id}_X)=\xi_X\)．自然性より \(\xi_Xx=\theta_T(Q(x)\Delta_X)\)．∎ TAC 42-11 の \(\xi_X(x)=q_x\)（\(\lceil x\rceil\) の image quotient）と整合する（\(q_x\) の kernel pair は \(\lceil x\rceil\) の kernel pair）． **系 2（順序と meet）．** \(R,R'\in Q(T)\) について \[ [R]\preceq[R']\iff\text{ある jointly epi 族 }\{t_i\}\text{ で }t_i^{*}R\subseteq t_i^{*}R',\qquad [R]\wedge[R']=[R\cap R']. \] 証明：\(T=ay(c)\) では [[qdhgdp]] Lemma 1（\(\wedge=a(\wedge_0)\)，\(\wedge_0=\) kernel pair の交わり）．一般の \(T\) では生成子 \(t:ay(c)\to T\) で制限すると \(\wedge\langle\theta R,\theta R'\rangle t=\theta(Q(t)(R\cap R'))=\theta(R\cap R')t\)，\(\{t\}\) が jointly epi なので \(\wedge\langle\theta R,\theta R'\rangle=\theta(R\cap R')\)．\(\preceq\) は \(\wedge\) と \(\pi_1\) の equalizer なので \([R]\preceq[R']\iff\theta(R\cap R')=\theta(R)\iff\)（locally injective）局所的に \(R\cap R'=R\)．∎ **補足（top と bottom）．** \(\Xi(T)\) の top は \([T\times T]\)（\(T\twoheadrightarrow\operatorname{supp}T\)）．また \(\{u\in\mathcal E(T,\Xi)\mid u\preceq\xi_T\}\) は「\(T\) のある cover \(\{s_k\}\) 上で \(us_k=\xi_{E_k}q_k\)（\(q_k:S_k\twoheadrightarrow E_k\) quotient）」となる \(u\) 全体，すなわち cover 上の \(\Delta\)-germ 全体に一致する（\(\Rightarrow\)：\(us_k=[R_k]\) と取り，refine して \(R_k\subseteq\ker s_k\) とすれば \(s_k=t_kq_k\)，\(q_k:S_k\twoheadrightarrow S_k/R_k\)，で \(ut_kq_k=\theta(R_k)=\xi_{S_k/R_k}q_k\)，\(q_k\) epi より \(ut_k=\xi_{S_k/R_k}\)．\(\Leftarrow\) は \(\preceq_\Xi\rightarrowtail\Xi^2\) が jointly epi 族で検出されることから）．従って bottom が存在すれば（\(\Xi\) は一般には meet-semilattice に過ぎず存在は自明でない）それは cover 上の \(\Delta\)-germ である． **系 3（non-singular = locally monic の 2 行証明；[[n59qhv]] 定理 A）．** \(f:X\to Y\) について \(\xi_Yf=[\ker f]\)（系 1），\(\xi_X=[\Delta_X]\)．よって \(\xi_Yf=\xi_X\iff\) ある jointly epi 族 \(\{t_i:T_i\to X\}\) で \(t_i^{*}\ker f=\Delta_{T_i}\iff ft_i\) が mono \(\iff f\) は locally monic（\(ft_i\) mono なら \(t_i\) mono）．∎ **系 4（bound の読み替え；[[qdhgdp]] の判定法を認めて）．** \(B\) が bound \(\iff\) 任意の \(X\) と任意の \(u\in\mathcal E(X,\Xi)\) に対し，cover \(\{t_i:T_i\to X\}\) と射 \(b_i:T_i\to B\) があって \([\ker b_i]\preceq u\circ t_i\)．（\(\uparrow\!\operatorname{im}\xi_B=\Xi\) を系 1・2 で書き直しただけ．） **系 5（Kenney の copower object との直接の関係；[[gqyqbc]]）．** Kenney（TAC 16-32, Def. 2.1, Prop. 2.6）の copower object \(QA\) はトポスでは「\(A\) 上の equivalence relation の internal object」で，\(\mathcal E(X,QA)\cong\{X\)-fibrewise な equivalence relation \(R\rightarrowtail X\times A\times A\}\)．従って \[ Q(A)=\Gamma(QA)=\mathcal E(1,QA), \] 制限 \(Q(f)\) は \(P(f\times f)\) の制限 \(QA\to QB\) の global section であり，**\(\Xi\) は「copower objects の global sections のなす前層」の canonical 層化である．** さらに Yoneda により canonical な射 \[ \kappa_A:QA\longrightarrow\Xi^{A},\qquad (r:X\to QA)\longmapsto\theta_{X\times A}(R_r)\in\mathcal E(X\times A,\Xi) \] （\(R_r\rightarrowtail X\times A\times A\rightarrowtail(X\times A)^2\) は \(X\times A\) 上の equivalence relation）が \(A\) について自然に定まる（Kenney Lemma 2.5(i) により \(Qf\) は pullback，これが \(Q(f)\) と一致する）．⚠️ \(\kappa_A\) は一般に epi ではない：\(G\ne1\)，\(A\ne\emptyset\) の \(G\text{-}\mathbf{Set}\) で，自由 \(G\)-set \(X\) 上の fibrewise relation の商は再び自由なので \(\kappa_A(r)\) は常に定数 \(\{1\}\) になる一方，\(\Xi^{A}\) の元 \(a\mapsto\operatorname{Stab}(a)\) は \(\{1\}\) でない値を取り得る（\(A=G/H\)，\(H\ne1\)）．Kenney Remark 2.3 の「\(T\mapsto\operatorname{Quot}(T)\) は coproduct を product に送らないので表現可能でない」が，\(\Xi\) が reflection にしかならない理由そのものである．copower object は「一つの \(A\) 上の relation を slice ごとに内在化」し，\(\Xi\) は「全対象上の relation を canonical topology で局所化」する，という違いである． **系 6（前層トポス・例）．** \([C^{\mathrm{op}},\mathbf{Set}]\) で \(y(c)\) は connected projective なので covering sieve は必ず \(\mathrm{id}\) を含み \(\mathbf{LEq}(y(c))=Q(y(c))=\Xi(c)\)（TAC の記述を回収）．\(\mathbf{Set}\) では点で cover して \(\mathbf{LEq}(S)=1\)．\(G\text{-}\mathbf{Set}\) では \(\mathbf{LEq}(G/H)=\{V\le G\mid H\subseteq N_G(V)\}\)：cover \(p:G\to G/H\) 上の \(V\in Q(G)=\operatorname{Sub}(G)\) が \(Q^+(G\times_{G/H}G)=Q^+(\textstyle\coprod_HG)=\prod_HQ(G)\) で貼り合う条件が \(V=hVh^{-1}\)（\(h\in H\)）．⚠️ \(Q(\coprod_HG)\ne\prod_HQ(G)\)（成分をまたぐ関係）なので，\(Q\) 自身で貼り合わせ条件を書くと \(H\subseteq V\) という誤った条件が出る．層化が本質的に効く箇所である． ## Rosenthal／Kock–Moerdijk との比較 Rosenthal（Cahiers 25, 1984）・Kock–Moerdijk（JPAA 82, 1992, Def. 1.1）の local equivalence relation は，位相空間 \(X\) 上の前層 \(U\mapsto\operatorname{Equiv}(U)\)（開集合 \(U\) 上の集合論的 equivalence relation）の associated sheaf \(\mathcal E_X\) の global section である．定理 A は同じ構成——「equivalence relation の前層を層化して germ の層を作る」——を site \((\mathcal E,\mathrm{can})\) と internal equivalence relation に適用したものが LSC だと言う． \[ \text{K–M: }\ \mathcal E_X=a_{\mathcal O(X)}\bigl(U\mapsto\operatorname{Equiv}(|U|)\bigr),\qquad \text{LSC: }\ \Xi=a_{\mathrm{can}}\bigl(T\mapsto\operatorname{Equiv}_{\mathcal E}(T)\bigr). \] ただし層化される前層は別物である：\(\operatorname{Equiv}(|U|)\) は点集合 \(|U|\) 上の relation（\(Q_{\mathbf{Set}}\circ|-|\)）であり，\(\mathbf{Sh}(X)\) の対象 \(y(U)\)（subterminal）上の internal relation \(Q_{\mathbf{Sh}(X)}(y(U))\) は一点である．実際，二つは一致しない：多様体 \(X\) について \(\Xi_{\mathbf{Sh}(X)}=1\)（localic）だが，\(\mathcal E_X\) は foliation に対応する多くの global section を持つ．逆向きの例：\(G\text{-}\mathbf{Set}\)（bound \(G\)，\(\mathcal E/G\simeq\mathbf{Set}\)）で \(\mathcal E(G,\Xi)=\operatorname{Sub}(G)\) だが，一点空間上の K–M の層は自明．étendue \(\mathbf{sh}(X;r)\) で bound \(B\) を通した \(B^{*}\Xi\) と \(\mathcal E_X\) の関係は未解決（下記）． ## Slogan **local state classifier とは，equivalence relation の germ の層である．** \(\xi_X\) は「等号」の germ，\(\xi_X(x)\) は figure \(x\) の kernel pair の germ．\(\Xi\) の元は germ であって global な商とは限らない（\(G/H\) 上の \(V\not\supseteq H\) は \(G/H\) のどの商からも来ない：\(\theta_{G/H}\) は単射だが全射でない）．逆に global な商の情報も germ にすると失われる（\(\coprod_HG\) 上で成分をまたぐ関係は忘れられる：\(\theta\) は一般に単射でない）．\(\Xi=\operatorname{colim}(\mathcal E_{\mathrm{mono}}\to\mathcal E)\) という定義は「\(\mathcal E_{\mathrm{mono}}\) 上の cocone \(=\) 商の前層からの自然変換」という一行の同一視で層化に化ける． ## Verification - (1) の証明は site も (S1) も使わない純代数的な対応で，\(Q(q)(\mathrm{id}_E)=q\)，\(Q(m)(\mathrm{id}_E)=\mathrm{id}_{E'}\)（\(m\) mono の epi part は identity）の 2 点だけが本質． - (2) の locally injective/surjective は [[qdhgdp]]・[[n59qhv]] と同じ (S1) と生成性の議論．一般補題は MacLane–Moerdijk III.5 の plus construction の標準論法の書き直し． - 例（\(\mathbf{Set}\)，前層，\(G\text{-}\mathbf{Set}\)）で \(\mathbf{LEq}\) と既知の \(\Xi\) が一致することを直接計算で確認した．\(G\text{-}\mathbf{Set}\) の計算では途中で \(Q(\coprod)\ne\prod Q\) を見落として誤った条件 \(H\subseteq V\) を得たが，\(Q^{+}\) を正しく使うと \(H\subseteq N_G(V)\) に直る（系 6 の ⚠️）． - Kenney の定義・Prop. 2.6 は PDF の要約で確認．Rosenthal・K–M の定義は arXiv math/9808112 の引用と numdam の要約で確認． - 2026-09-07 に別の Claude subagent が adversarial に査読（TAC 42-11 §3.16–3.24，Kenney §2，Rosenthal §1 の原文と照合）：定理 A(1)(2)・一般補題・系 1–3・5・6・K–M の定義の引用は正しいと判定．指摘に従い，(a) 比較節の「\(\mathcal E/G\simeq\mathbf{Set}/|G|\)」を \(\mathcal E/G\simeq\mathbf{Set}\) に訂正し多様体の例を追加，(b) K–M の前層が \(Q_{\mathbf{Set}}\circ|-|\) であって定理 A の instance ではないことを明記，(c) 系 2 の bottom の主張に証明を補い，(d) 系 5 を「epi でない」に言い換え，(e) 新規性の評価（Lemma 3.20 との関係）を Trigger に明記した． ## References - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients* (TAC 42-11)](https://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) - [Toby Kenney, *Copower objects and their applications to finiteness in topoi* (TAC 16-32)](http://www.tac.mta.ca/tac/volumes/16/32/16-32abs.html) - [Kimmo I. Rosenthal, *Sheaves and local equivalence relations*, Cahiers 25 (1984)](https://www.numdam.org/item/CTGDC_1984__25_2_179_0/) - [Anders Kock and Ieke Moerdijk, *Every étendue comes from a local equivalence relation*, JPAA 82 (1992)](https://doi.org/10.1016/0022-4049(92)90118-Y) - [Matías Menni, *Non-singular maps in toposes with a local state classifier* (arXiv:2505.07131)](https://arxiv.org/abs/2505.07131) ## 未解決・次の一手 - **étendue との突き合わせ**：\(\mathcal E=\mathbf{sh}(X;r)\)（K–M）で bound \(B\) をとり \(\mathcal E/B\simeq\mathbf{Sh}(X)\) と見たとき，\(B^{*}\Xi_{\mathcal E}\in\mathbf{Sh}(X)\) と K–M の \(\mathcal E_X\)，および \(r\) 自身（\(\mathcal E_X\) の global section）と \(\Xi\) の bottom（[[j9bcyf]]）の関係．予想：\(r\) は \(\xi_B\) の descent（bottom）に対応する． - **一般の factorization system への拡張**：(1) の証明は「\(\mathcal M\)-subobject の圏上の cocone \(=\) \(\mathcal E\)-quotient の前層からの自然変換」としてそのまま通るので，[[g9zbw4]]・[[k8euz5]] の LSC は「\(\mathcal E\)-quotient の前層の（適切な topology での）層化」と読めるはず．どの topology を取るべきかが問い． - **内部言語での特徴づけ**（[[xnv3ty]] の残り）：\(\mathbf{LEq}(X)\) は \(X\times X\) の部分対象としては表せない（\(G/H\) の例）．内部言語で書くなら「\(\Xi\) の元 \(=\) generic figure 上の equivalence relation の germ」という stack 的記述が自然で，\(\Xi\) を \(\mathcal E\) 上の stack の 0-truncation として見る方向． - **相対版**：base topos 上で同じ構成（[[mhv4sn]]）．