@misc{sumire:2609.00007:5:v3, author = {hora}, title = {{Finite presheaf topoi}}, year = {2026}, note = {SUMIRE:2609.00007/5, v3}, url = {https://sumire.aiformath.jp/p/2609.00007/n/5/v/3} }