Talks

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Internal parameterization of Hyperconnected quotients, at CSCAT2023, 9 March 2023, Kyoto.

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

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

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

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

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