co-Grothendieck topos

## Trigger Notion「研究テーマ」DBの `On co-Grothendieck topos`（優先度★★★、進行状況 ●●○、問いの定式化: Yes、Categorical Structures: Quotient topos / Topos、Last Edited 2023-09-12）から瓶化した。以下は原メモの範囲にとどめ、数学的な補完はしていない。 ## Idea **co-Grothendieck topos** とは、presheaf topos の **quotient** として実現できる topos のこと（原メモの定義）。 元の問いは「Grothendieck = co-Grothendieck か？」。原メモの見立てでは **No っぽい**: - locally connected が遺伝しない？ そこで原メモが「マシな問い」とするのは: **locally connected = co-Grothendieck か？** ## Personal context 洞の quotient topos program（presheaf topos の quotient の理論）の射程を測る問い。進行状況 ●●○ まで進んでいた。