問い #187

When is Fam(C) a topos? ## Trigger 公式 Problems 4.0.4 と issue #43 の下書き12/Nから移した。Hora, *Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor* は、Grothendieck topos \(\mathcal E\) に対する family construction \(\operatorname{Fam}(\mathcal E)\) が completely connected Grothendieck topos になることを証明している。この十分条件を、一般の圏 \(\mathcal C\) に対する必要十分条件へ広げたい。 ## Idea 圏 \(\mathcal C\) の free small coproduct completion \[ \operatorname{Fam}(\mathcal C) \] が Grothendieck topos になるのは、ちょうどいつか？ 条件は \(\mathcal C\) 自身が Grothendieck topos である場合より広い可能性があるため、次の段階に分けて調べる。 1. \(\operatorname{Fam}(\mathcal C)\) が finite limits を持つための \(\mathcal C\) 上の familial limit 条件。 2. cartesian closedness と subobject classifier が存在するための条件。 3. exactness、small colimits、small generating family など Giraud axioms に対応する条件。 4. 得られた条件を、\(\operatorname{Fam}(\mathcal C)\) の connected / indecomposable objects が作る部分圏から内在的に復元できるか。 ## Known partial structure 公開論文は次を与える。 - \(\mathcal E\) が Grothendieck topos なら、\(\operatorname{Fam}(\mathcal E)\) は completely connected Grothendieck topos である。 - completely connected topos \(\mathcal T\) がある Grothendieck topos \(\mathcal F\) の \(\operatorname{Fam}(\mathcal F)\) と同値になるための条件を、container object \(\nu\) と connected objectsを用いて記述している。 また、Cockett の familial products の理論は、\(\operatorname{Fam}(\mathcal C)\) が finite products を持つことを \(\mathcal C\) 上の familial finite products によって特徴づける。これは必要条件の最初の層だが、Grothendieck topos の完全な特徴づけではない。 ## Goal Giraud axiomsを \(\mathcal C\) 上の検査可能な条件へ移し、十分性と必要性を証明する。さらに、得られる \(\operatorname{Fam}\)-型 topoi を completely connected topoi の中で内在的に特徴づけ、既知の family construction theorem とその converse remark を一つの分類定理にまとめる。 ## Personal context これは completely connected topoi の研究系列における構造問題である。既存sloganには対応する登録語がないため、本瓶では slogan を付けず、新設もしない。 ## References - [Ryuya Hora, *Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor* (arXiv:2503.04317)](https://arxiv.org/abs/2503.04317) - [Ryuya Hora, Problems 4.0.4](https://sites.google.com/view/ryuya-hora/problems) - [J. R. B. Cockett, *Introduction to distributive categories*](https://doi.org/10.1017/S0960129500000232) ## 2026-08-26 AI研究監査：概念的分類と Giraud 条件の分解 Kawase の categories-of-families characterization により，概念的には \[ \operatorname{Fam}(\mathcal C)\text{ が Grothendieck topos} \Longleftrightarrow \mathcal C\simeq\operatorname{Conn}(\mathcal T) \] となる locally connected Grothendieck topos $\mathcal T$ が存在する．これは完全な外在的分類だが，$\mathcal C$ 上の operational checklist にはまだなっていない． intrinsic な最初の三層は次の通り． 1. $\operatorname{Fam}(\mathcal C)$ が cocomplete であることと，$\mathcal C$ がすべての small connected colimits を持つことは同値．一般の family diagram の colimit は index の Grothendieck construction の connected components ごとに $\mathcal C$ で colimit を取る． 2. $\operatorname{Fam}(\mathcal C)$ が subobject classifier を持つことと，$\mathcal C$ が terminal object $1$ と subobject classifier $t:1\to\Omega_{\mathcal C}$ を持つことは同値．このとき classifier は二成分 family $(1,\Omega_{\mathcal C})$ で，第一成分が empty subfamily，第二成分が nonempty mono を分類する． 3. finite limits は $\mathcal C$ 上の familial finite-limit conditions に対応する．connected finite limits は $\mathcal C$ 内で計算され，products は product functors の familial representability を要求する． 残る核心は exactness と small generating family を同じ精度で $\mathcal C$ 上へ翻訳すること．