I am currently
a Ph.D. student at the University of Tokyo,
a FoPM student since April 2022,
financially supported by DC1 since April 2024,
a tutor at Math space topos since July 2020,
a (unique) organizer of Categories in Tokyo,
a research associate at Centre for Topos Theory and its Applications since 1st April 2025 until 31st March 2026,
a member of the research project Exploration of the Applicability of Combinatorial Game Theory (組合せゲーム理論の応用可能性の探求) from April 2025 to March 2026, and
an advisor of 角川ドワンゴ学園 研究部 since June 2025.
and, I was
a bachelor and master student at the University of Tokyo,
a member of AFSA project and a research assistant at the National Institute of Informatics since July 2022 until March 2025, and
a visitor at Centre for Topos Theory and its Applications since 11 April until 26 June 2025.
Interest
category theory and related (various) topics!
Recently, I am interested in how topos theory facilitates the exchange of intuitions between algebra, geometry, logic, and combinatorics.
I am also interested in coalgebras, (pro)finite combinatorics, combinatorial game theory, semiring theory, and pure category theory.
Contact
e-mail (academic): hora(at)ms.u-tokyo.ac.jp
e-mail (casual): horaryuya38(at)gmail.com
X (twitter): @hora_math, @hora_algebra