問い #160

Cohomology of regular languages ## Trigger 旧HP Problems 2.0.3（theme: Topoi of automata、formal question）から移住する公開問題。旧HPは *Topoi of automata* を参照していた。`created` は取り下げ済みPR #33の移住候補から暫定的に引き継ぎ、正確な着想日は不明。 ## Idea What is the topos cohomology of the topos of regular languages, or of the topos of star-free languages? A cohomological problem about language-theoretic topoi. ## Goal regular languagesのtoposまたはstar-free languagesのtoposについて、旧原文が問うtopos cohomologyを決定する。 ## Personal context 旧タグは topos cohomology、regular language、star-free language。一次出典にない研究内容は補わず、旧一覧以後の進展は未確認のため `status: dormant` とする。 ## References - [Ryuya Hora, *Topoi of automata I: Four topoi of automata and regular languages*](https://arxiv.org/abs/2411.06358) ## Provenance - 旧ID: 2.0.3 - [旧出典 `scripts/site.js` 775–784行](https://github.com/hora-algebra/ryuya-hora-homepage/blob/1b8b74c2b3447bdc744a0cac256c5d5806588adc/scripts/site.js#L775-L784) - Ideaの2段落は旧HPのstatement / descriptionをそのまま保持した。