問い #224

On limits in FinSet ## Trigger HPの準備中論文リスト（公開）にある *On limits in \(\mathbf{FinSet}\)* から瓶化する研究方向。正確な着想日は不明で、`created` は瓶化日。 ## Idea 有限集合の圏 \(\mathbf{FinSet}\) におけるlimitsを主題とする準備中ノート。\(\mathbf{FinSet}\) は有限limitsしか持たないため、「どの形のlimitが存在するか・どう振る舞うか」が自然な主題だが、公開タイトル以上の主張はこの瓶では補完しない。 ## Goal \(\mathbf{FinSet}\) のlimitsについての基本的な結果を1本のノートにまとめる。有限性が本質になる既存瓶（[[tk8psy]] 有限presheaf圏がトポスになる条件）との接続候補。 ## Personal context 論文レジストリには対応するエントリが無く、HPの準備中リストのみに現れるタイトル。該当するsloganは現行の登録簿に無い。 ## Provenance - 出典: ryuyahora-HP `data/source/site-data.json` papers.preparation（公開リスト） ## 2026-08-26 AI研究監査：有限 weakly initial は十分だが必要でない small category $J$ に対し \[ (F_J):\quad \lim_JF\text{ が有限集合である，任意の }F:J\to\mathbf{FinSet} \] を考える． 1. $J$ が有限 weakly initial family $j_1,\dots,j_n$ を持てば $(F_J)$ が成り立つ．cone は $j_i$ 上の成分で決まるので \[ \lim_JF\hookrightarrow\prod_iF(j_i). \] 2. 逆は偽である．$\lambda$ を uncountable cofinality の ordinal とし $J=\lambda^{op}$ とすると，有限 weakly initial family は存在しないが $(F_J)$ は成り立つ．実際 $L=\lim F$ とし，$E_\alpha$ を $\alpha$-coordinate が等しいという $L$ 上の同値関係とする．$\beta>\alpha$ なら $E_\beta$ は $E_\alpha$ を refine し，有限数 $|L/E_\alpha|$ は非減少である．uncountable cofinality によりこれは最終的に定数となり，その後 refinement 自体も定数となる．$\bigcap_\alpha E_\alpha$ は equality なので，ある有限指数 $E_\alpha$ が equality であり，$L$ は有限である． countable cofinality の reverse ordinal では successive finite truncations により Cantor 型の無限 limit を作れる．従って完全分類は有限生成性ではなく，finite representations が作る equivalence relations の cofinality を捉える必要がある．