問い #177

Completely connected morphisms ## Trigger 旧HP Problems 4.0.1（theme: Completely connected topoi、informal question）から移住する公開問題。旧HPは *Completely connected topoi* と *Colocal geometric morphisms* を参照していた。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea What is the right definition of completely connected geometric morphisms? Colocal geometric morphisms may provide the answer. ## Goal completely connected geometric morphismsの適切な定義を定め、colocal geometric morphismsがその答えを与えるかを明らかにする。 ## Personal context 旧タグは completely connected、colocal、geometric morphism。一次出典にない定義や研究内容は補わず、旧一覧以後の進展は未確認のため `status: dormant` とする。 ## References - [Ryuya Hora, *Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor*](https://arxiv.org/abs/2503.04317) - [Colocal geometric morphisms](https://link.springer.com/article/10.1007/s10485-020-09620-y) ## Provenance - 旧ID: 4.0.1 - [旧出典 `scripts/site.js` 830–837行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L830-L837) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。