Topoi of automata I: Four topoi of automata and regular languages
Introduces a topos-theoretic point of view on formal language theory.
Assistant Professor, ZEN University
Ryuya Hora 洞龍弥
- Academic ryuya_hora@zen.ac.jp
- Casual horaryuya38@gmail.com
Current
- Assistant professor at ZEN University since April 2026
- Researcher at the Humai Center since April 2026
- Teaching modern mathematics at Math Space Topos since July 2020
- Advisor to 角川ドワンゴ学園 研究部 since June 2025
Background
- Ph.D. in Mathematics, The University of Tokyo (2026) — Connectedness and full subcategories of topoi
- Master of Mathematics, The University of Tokyo (2024) — Two classification theorems of quotient toposes
- Bachelor of Science, The University of Tokyo (2022)
- Dean's award and Graduation Representative, Graduate School of Mathematical Sciences, The University of Tokyo, doctoral course. March 2026
- SLACS 2025 presentation award. October 2025
- 12 September 2026Talk文字列から現代数学へ — 数学カフェ 先端講演, Tokyo, Japan
- 29 September 2026TalkTitle pending — ItaCa Fest 2026 (online)
- 22 October 2026Organizingthe third AI for Math meeting.
- 2–4 November 2026OrganizingCategories in Tokyo 3.
- 21–23 January 2027AttendingCGTC VI: Combinatorial Game Theory Colloquium VI. tentative