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
- 5 September 2026Talk圏論は役に立つのか：数学者とエンジニアの対話から考える夜 — 圏論NIGHT, Tokyo, Japan
- 12 September 2026TalkTitle pending — 数学カフェ 先端講演
- 29 September 2026TalkTitle pending — ItaCa Fest 2026 (online)
- 22 October 2026OrganizingOrganizing the third AI for Math meeting.
- 2–4 November 2026OrganizingOrganizing Categories in Tokyo 3.
- 21–23 January 2027AttendingAttending CGTC VI: Combinatorial Game Theory Colloquium VI. tentative
Timeline
Positions, talks, papers and activities since 2015. Use the arrow keys inside the band; select an item to read about it.
Visit map
Where the talks and activities happened. Select a marker to list the events at that place.
Figure of the day
An interactive figure from one of the papers. A different one is shown each day; all of them live on the Writings page.