Publications

Articles

Solution to Lawvere's first problem: A Grothendieck topos that has proper class many quotient topoi

arXiv

Revue Yuhi Kamio, Ryuya Hora Advances in Mathematics 487, 110751 mars 2026

Donne une solution au premier problème ouvert de Lawvere.

Topos
Combinatoire
Logique

Voir aussi : Lawvere's open problems

Exposés : Ph.D. thesis presentation (2026) · UTokyo Logic seminar (2025)

Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor

arXiv

Revue Proceedings of the American Mathematical Society 154(2), 567-584 février 2026

Étudie les topos complètement connexes et en donne une caractérisation par des sites, avec des exemples.

Topos
Category
Combinatoire

Exposés : Ph.D. thesis presentation (2026) · UTokyo Logic seminar (2025)

Normalization of a subgroup, in a topos, and of a word-congruence

arXiv

Prépublication arXiv arXiv:2511.05012 7 novembre 2025

Définit un opérateur de normalisation généralisé motivé par la théorie des topos et la théorie algébrique des langages.

Topos
Automaton
Algèbre
Combinatoire

Games as recursive coalgebras: A categorical view on the Nim-sum

arXiv

Prépublication arXiv arXiv:2510.22886 27 octobre 2025

Réinterprète les jeux combinatoires impartiaux et la somme de Nim au moyen de coalgèbres récursives.

Game
Coalgebra
Category
Algèbre

arXiv

Exposés : CSCAT 2024 (2024) · 7th Japan Combinatorial Game Theory Conference (2023) · Japan Combinatorial Game Theory Mini-Workshops with Urban Larsson (2023)

Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets

arXiv

Prépublication arXiv Ryuya Hora, Yuhi Kamio, Yuki Maehara arXiv:2503.03439 5 mars 2025

Propose, dans une prépublication, une solution à l’un des sept problèmes ouverts de Lawvere au moyen des niveaux du topos des ensembles simpliciaux symétriques.

Topos
Combinatoire

arXiv

Exposés : Ph.D. thesis presentation (2026) · UTokyo Logic seminar (2025)

Topoi of automata I: Four topoi of automata and regular languages

arXiv

Prépublication arXiv arXiv:2411.06358 10 novembre 2024

Introduit un point de vue topos-théorique sur la théorie des langages formels.

Automaton
Topos
Géométrie

arXiv

Exposés : SLACS 2025 (2025) · CT 2025 (2025) · Theoretical Cosynus Seminar (2025) · Séminaires du LIPN (2025) · IRIF Sémantique seminar (2025) · Groupe de travail topossique (2025) · Categories for Automata and Language Theory (2025) · Groupe de travail topossique (2025) · CSCAT 2025 (2025) · CMUP SAL seminar (2025) · Young Automata Theorists Gathering in Japan (2024)

Internal parameterization of hyperconnected quotients

arXiv

Revue Theory and Applications of Categories 42(11), 263-313 23 août 2024

Introduit les classificateurs d’états locaux et les utilise pour établir une paramétrisation interne des quotients hyperconnexes.

Topos
Category

Voir aussi : Lawvere's open problems

Exposés : Theoretical Cosynus Seminar (2025) · Séminaires du LIPN (2025) · IRIF Sémantique seminar (2025) · Groupe de travail topossique (2025) · Toposes in Mondovì (2024) · Category Theory 2023 (2023) · Australian Category Seminar (2023) · CSCAT 2023 (2023)

Quotient toposes of discrete dynamical systems

arXiv

Revue Ryuya Hora, Yuhi Kamio Journal of Pure and Applied Algebra 228(8), 107657 août 2024

Classifie les classes de systèmes dynamiques discrets stables par limites finies et petites colimites.

Topos
Dynamics
Algèbre
Combinatoire

Voir aussi : Lawvere's open problems

Exposés : CT 2024 (2024)

En préparation

Topoi of automata II: Hyperconnected geometric morphisms and syntactic topoi
PDF
Brouillon disponible

Topoi of automata II: Hyperconnected geometric morphisms and syntactic topoi (PDF), 15 août 2026 — Plan complet : 3 sections principales et 4 annexes. Cette version abrégée comprend les sections 1–3, sans les sections 2.4 et 3.3–3.6 ni les annexes.
- Algèbre
- Géométrie
- Combinatoire
Subtopoi of free monoid actions
avec Morgan Rogers
- Géométrie
- Logique
Demystifying local state classifiers: local state classifier in a total category with a factorization system

avec Yuto Ikeda
Notes on Rieg theory: semiring with exponentials in logic, profinite arithmetic, enumerative combinatorics, and category theory
PDF
Brouillon disponible

Counting with Exponential of Groups (PDF), décembre 2023 — Introduction à la théorie des rieg
- Algèbre
- Logique
Differential calculus of impartial combinatorial games
avec Ryo Suzuki
- Game
- Algèbre
- Category
Exposés : Differentiation in category theory and program semantics (2026)
Topoi with enough projectives
- Algèbre
- Logique
Topoi of automata III: Geometry of \(\Sigma\)-sets
- Automaton
- Topos
- Géométrie
- Combinatoire
Dynamical systems on pretopological spaces
PDF
Brouillon disponible

What is the geometry behind Conway's game of life? (PDF), 10 décembre 2024, 圏論 Advent Calendar 2024 — Un premier pas avec un topos relatif
- Topos
Exposés : CSCAT 2026 (2026)
An enriched-categorical origin of \(\varepsilon\)-transition
Category Theoretic Ordinal Invariants
Totally disconnected topoi
- Géométrie
A topos-theoretic view on Gabriel's theorem
PDF
Brouillon disponible

Topos-theoretic approach to representation theory, for non-logicians (PDF)
- Logique
Exposés : 数学基礎論若手の会2023 (2023)
The lattice of hyperconnected quotients is a module of the semiring of productive weak topologies
When do finite presheaves form a topos?

avec Jérémie Marquès
Local state classifier, permutation model, and the internal axiom of choice

Exposés : UTokyo Logic seminar (2025)
A note on language measurability
PDF
Brouillon disponible

A note on language measurability (PDF), 8 mars 2026
- Automaton
Exposés : PPL 2026 (2026)
Twisted Regular Tetrahedra and Eisenstein Integers
- Algèbre

Exposés et notes

順序集合で遊ぶKan拡張入門
PDF
novembre 2021Japanese

PDF
- Category
圏論のToy Exampleとしての集合演算
PDF
mai 2021Japanese

PDF
- Category
圏論に登場する矢印の意味は—特集圏論の質問箱
日本評論社
数学セミナー 2025年11月号novembre 2025Japanese
- 日本評論社
- CiNii Research
- Category
準完全情報ニム
researchmap
安福智明, 洞龍弥, 稲津大貴, 木谷裕紀, 末續鴻輝, 吉渡叶情報処理学会研究報告アルゴリズム（AL）janvier 2026Japanese
- researchmap
- IPSJ
- Game

Articles

Solution to Lawvere's first problem: A Grothendieck topos that has proper class many quotient topoi

Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor

Normalization of a subgroup, in a topos, and of a word-congruence

Games as recursive coalgebras: A categorical view on the Nim-sum

Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets

Topoi of automata I: Four topoi of automata and regular languages

Internal parameterization of hyperconnected quotients

Quotient toposes of discrete dynamical systems

En préparation

Topoi of automata II: Hyperconnected geometric morphisms and syntactic topoi

Subtopoi of free monoid actions

Demystifying local state classifiers: local state classifier in a total category with a factorization system

Notes on Rieg theory: semiring with exponentials in logic, profinite arithmetic, enumerative combinatorics, and category theory

Differential calculus of impartial combinatorial games

Topoi with enough projectives

Topoi of automata III: Geometry of \(\Sigma\)-sets

Dynamical systems on pretopological spaces

An enriched-categorical origin of \(\varepsilon\)-transition

Category Theoretic Ordinal Invariants

Totally disconnected topoi

A topos-theoretic view on Gabriel's theorem

The lattice of hyperconnected quotients is a module of the semiring of productive weak topologies

When do finite presheaves form a topos?

Local state classifier, permutation model, and the internal axiom of choice

A note on language measurability

Twisted Regular Tetrahedra and Eisenstein Integers

Exposés et notes

順序集合で遊ぶKan拡張入門

圏論のToy Exampleとしての集合演算

圏論に登場する矢印の意味は—特集 圏論の質問箱

準完全情報ニム

圏論に登場する矢印の意味は—特集圏論の質問箱