Talks

Topoi of automata, at CMUP SAL seminar, 28th February, Porto university, online.

Topoi of automata, at CSCAT2025, 12th March, Sojo University, Kumamoto.

Topoi of automata, at Groupe de travail topossique, 30th April, CTTA at Centre Lagrange, Paris.

Topoi of automata, at Categories for Automata and Language Theory, 6th May at IRIF, Paris.

Local state classifier for algebraic language theory, at Groupe de travail topossique, 16th May, CTTA at Centre Lagrange, Paris.

Local state classifier for automata theory, at Sémantique seminar, 27th May at IRIF, Paris.

Local state classifier for automata theory, 5th June at LIPN, Paris.

A topos for regular language theory, at Theoretical Cosynus Seminar, 11th June, Laboratoire d'informatique de l'École polytechnique, Paris.

Topoi of automata, at CT2025 Brno, 17th July, Czech Republic.

Combinatorial games as recursive coalgebras, at CSCAT2024, 15 March, Chiba university, Chiba.

トポス理論入門(Introduction to topos theory), at 代数トポロジー若手の会, 16 March, Nagoya university, Aichi.

圏論の利用と濫用 at 第18回AFSAコロキウム, 25 April, NII Kanda-Lab, Tokyo.

Quotient toposes of discrete dynamical systems,at CT2024, 28 June, Santiago de Compostela, Spain.

オートマトン理論の道具としてのtopos (Topos theory as a tool of automata theory) at オートマトン理論若手の会 (Young Automata Theorists Gathering in Japan)  , 29 August, Akita University, Akita.

The colimit of all monomorphisms classifies hyperconnected geometric morphisms at Toposes in Modovi, 10 September, Mondovi Italy. (YouTube)

Quotient topoi and geometry of computation at AFSA領域集会, 30 November, Tokyo.

Internal parameterization of Hyperconnected quotients, at CSCAT2023, 9 March, Japan.

Internal parameterization of Hyperconnected quotients, at Australia Category Seminar, 19 April, Online.

Grundy Numbers and Categories, at Japan Combinatorial Game Theory Mini-Workshops with Urban Larsson, 12 May, National Institute of Informatics, Tokyo.

Internal parameterization of Hyperconnected quotients, at Category Theory 2023, 6 July, Belgium. archive at YouTube

Category Theory and Combinatorial Game Theory, at 7th Japan Combinatorial Game Theory Conference, 21 August, National Institute of Informatics, Tokyo.

構成的数学と表現論 (Constructive math and representation theories), at 数学基礎論若手の会2023, 10 December, Chiba.