問い #175

LSC of topoi of spaces ## Trigger 旧HP Problems 1.0.1（theme: Local state classifier）から移住する公開問題。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea How does the local state classifier of a topos of spaces look? For example, what is the local state classifier of the topos of simplicial sets? A related formulation asks for a characterization of local, hyperconnected, or cohesive topoi in terms of a local state classifier. This is partially answered by Menni's work on non-singular maps. ## Goal topos of spaces、特にsimplicial setsのtoposのlocal state classifierを記述し、旧原文にある関連する特徴づけの問いを明確にする。 ## Personal context 旧タグは space、simplicial set、cohesive topos。Menniによる部分的回答より後の進展はこの移住では確認せず、棚卸し待ちとして `status: dormant` とする。 ## References - [Matías Menni, *Non-singular maps in toposes with a local state classifier*](https://arxiv.org/abs/2505.07131) - [Ryuya Hora, *Internal Parameterization of Hyperconnected Quotients*](http://www.tac.mta.ca/tac/volumes/42/11/42-11abs.html) ## Provenance - 旧ID: 1.0.1 - 旧分類: informal question - [旧出典 `scripts/site.js` 694–703行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L694-L703) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。