Lawvere第2問題の3つの読み

## Trigger Nivar Anwer の第2草稿 *A finite counterexample to Lawvere's composite-inclusion problem*（2026-07-12 受領、19頁）を精読し、Lawvere 原文（nLab 掲載 PDF、2009-04-04、確認日 2026-07-25）と突き合わせた結果（claudeとの会話より）。草稿本体の数学は手計算＋有限モデルの機械検証で誤りなしと判定したが、「Lawvere 第2問題」の形式化が3通りに分岐し、そのどれを解いたのかで評価が変わることが判明した。 ## Idea Lawvere 問題 (2) の第2 closure operator「subtopos に対し composite が inclusion になる最小の quotient」は、少なくとも3通りに形式化できる。subtopos `i`、quotient `q`、`T = i_*i^*`、`C = q^*q_*` として - **R-reading**: `Q_i = {q : qi は inclusion}`（判定 `α : TCT → T` が iso）に最小元があるか。Lawvere の文言そのまま。 - **H-reading**: `H_i = {q : EssIm(i_*) ⊆ EssIm(q^*)}`（判定 `γ : CT → T` が iso）に最小元があるか。`H ⊆ R` で逆は偽。closure operator は extensive なので、Lawvere の lattice（lex subcategory の包含順序）で書くと**こちらが正しい形式化**になる。 - **hyperconnected-reading**: `Q_i^{hyp} = {hyperconnected q : qi は inclusion}` に最小元があるか。Hora の枠組み（`Ξ` の internal filter による分類）で意味を持つ版。 Nivar の反例（`C = ⟨a --s--> v --t--> a | (ts)²=ts⟩` 上の presheaf topos、`A = M = {1,e}` の full inclusion から来る subtopos `i`）は R-reading の negative answer として正しい。`q_s = q_{[s^{-1}]}`, `q_t = q_{[t^{-1}]}` はともに `q i` が equivalence で incomparable、meet は最小 quotient `q_{st} : Ĉ → Set` になり、そこで `π_* = (−)^M` が fully faithful でないため admissibility が落ちる。破れは infimum の不在ではなく **admissibility の meet 非安定性**。 しかし (1) H-reading では同じ例で最小元 `q_s` が存在する（`EssIm(i_*) = EssIm(q_s^*)`）ので反例になっていない。(2) hyperconnected-reading では **`q_s`, `q_t` はどちらも hyperconnected でない**（`X = i_*M` の subpresheaf `Y = ({1,e},{e})` が witness。`EssIm(q_s^*)` は subobject で閉じない。`q_t` も同様、`q_{st}` だけが hyperconnected）ので、この例は完全に無情報。反例はまるごと connected と hyperconnected の隙間に住んでいる。 補題（草稿にない）: `q_s^* ≅ i_*` が関手として一致する。一般に subtopos `i` の `i_*` が colimit を保つとき、`q^* = i_*` なる quotient `q` について `qi` は equivalence になり自動的に `q ∈ Q_i`。この例の機構は「同じ replete full subcategory が subtopos の像でも quotient の像でもある」ことに尽きる。 ## Goal hyperconnected 版 `Q_i^{hyp}` の最小元問題を定式化して解く。hyperconnected quotient は `Ξ` の internal filter で分類され filter は交叉で閉じるので meet は存在する。よって問題は admissibility の meet 安定性に落ち、`lsc-advances-notes` §Module structure の Conjecture Main の近傍に入る。R/H 分離は Conjecture Main における module 作用 `f·h` の定義（`Ω` 側だけか `C_j = j∘(−)∘λ_j` か）を確定させる材料になる。 ## Personal context [[h3vep9]] の Conjecture Main（`f·h = h ⟺ f が h を含む`）と直結する。descent と factorization の区別（Nivar 第1草稿 Remark 6.5）が、ここでは R と H の区別として再登場している。[[mhv4sn]] の relative LSC program とは別方向（あちらは base 上の相対化、こちらは quotient の順序構造）。Lawvere 問題 (1) との関係（KH26 の proper class many）から、connected 側で negative が出るのは想定内で、意味があるのは hyperconnected 側。詳細な精読メモは exploring-math repo の `_nivar/lawvere-2nd-review-ja.md`（git 非追跡）。