Ryuya Hora洞龍弥

Talks

2027

  1. February 2027

    Title pending

    AI for Math at Osaka planned

2026

  1. 27 December 2026

    Title pending

    MATH EXPO 2026 磯子区民文化センター 杉田劇場, Yokohama planned Outreach

  2. 8 December 2026

    Title pending

    Intensive lecture for beginners, hosted by Masafumi Oizumi (The University of Tokyo) planned

  3. 14 November 2026

    Title pending

    ZEN大学 ずしフェス -ZUSHI ACADEMIC FESTIVAL- ZEN University, Zushi Campus planned Outreach

  4. 31 October 2026

    数学とAIがなすべきこと

    異分野・異業種研究交流会2026 21KOMCEE West, The University of Tokyo planned Poster

  5. 22 October 2026

    過渡期に数学を愛してしまったあなたへ

    AI for Math勉強会 第3回 12F, Kabukiza Tower, Tokyo planned

    Slides (HTML)

  6. 29 September 2026

    A Rota-Baxter equation for winning games

    ItaCa Fest 2026 Online

    Video
    Slides (HTML)

  7. 12 September 2026

    文字列から現代数学へ

    数学カフェ 最先端数学講演「文字列の数理」 9F, Special Conference Room（特）, 台東区民会館, Tokyo Outreach

    Interactive slides (HTML)

  8. 5 September 2026

    圏論は役に立つのか：数学者とエンジニアの対話から考える夜

    圏論NIGHT 学術バーQ, Tokyo With Kory Outreach

    A Categories in Tokyo collaboration event; a dialogue with Kory.

    Registration
    • Category
    Slides (HTML)

  9. 17 July 2026

    AIについて数学者は(何を)考えるべきか

    AI for Math勉強会 第2回 12F, Kabukiza Tower, Tokyo Outreach

    Slides (HTML)

  10. 23 May 2026

    ベン図からトポスへ

    Math Space Topos 2026 new welcome event Outreach

    • Topos
    Slides (PDF)

  11. 6 April 2026

    A Rota-Baxter equation for winning games

    Differentiation in category theory and program semantics Room 420, RIMS, Kyoto University

    Paper: Differential calculus of impartial combinatorial games

    • Game
    Slides (PDF)

  12. 16 March 2026

    A space⋊time for Conway’s Game of Life

    CSCAT 2026 Room 601A, AOSSA, Fukui

    Paper: Dynamical systems on pretopological spaces

    • Dynamics
    Slides (PDF)

  13. 11 March 2026

    Measure-theoretic closure operators on formal languages

    PPL 2026 Rexxam Hall, Takamatsu With Ryoma Sin'ya Poster

    Paper: A note on language measurability

    • Automaton

  14. 22 February 2026

    Turning lights out with the Snake Lemma

    20th meeting of the CGP Project The University of Electro-Communications, Chofu Presented by Kyosuke Higashida

    • Game
    Slides (PDF)

  15. 23 January 2026

    Connectedness and full subcategories of topoi

    Ph.D. thesis presentation Room 126, Graduate School of Mathematical Sciences, The University of Tokyo

    Papers: Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor · Solution to Lawvere's first problem: A Grothendieck topos that has proper class many quotient topoi · Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets

    • Topos
    • Category

2025

  1. 5 December 2025

    Local state classifier, The axiom of choice, and permutation model

    UTokyo Logic seminar Graduate School of Mathematical Sciences, The University of Tokyo

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

    • Topos
    • Logic

  2. 28 November 2025

    Connectedness and full subcategories of topoi

    UTokyo Logic seminar Graduate School of Mathematical Sciences, The University of Tokyo

    Papers: Grothendieck topoi with a left adjoint to a left adjoint to a left adjoint to the global sections functor · Solution to Lawvere's first problem: A Grothendieck topos that has proper class many quotient topoi · Lawvere's fourth open problem: Levels in the topos of symmetric simplicial sets

    • Topos
    • Category

  3. 31 October 2025

    Topoi of automata

    SLACS 2025 Shared Room 321, Akita University, Tegata Campus

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

    • Topos
    • Automaton
    Slides (PDF)

  4. 17 July 2025

    Topoi of automata

    CT 2025 Building B2, Faculty of Arts, Masaryk University, Brno

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

    • Topos
    • Automaton
    Slides (PDF)

  5. 11 June 2025

    A topos for regular language theory

    Theoretical Cosynus Seminar Henri Poincaré room, LIX, École polytechnique, Palaiseau

    Papers: Topoi of automata I: Four topoi of automata and regular languages · Internal parameterization of hyperconnected quotients

    • Topos
    • Automaton

  6. 5 June 2025

    Local state classifier for automata theory

    Séminaires du LIPN Salle B107, LIPN, Université Sorbonne Paris Nord, Villetaneuse

    Same slide deck as the IRIF Sémantique seminar.

    Papers: Topoi of automata I: Four topoi of automata and regular languages · Internal parameterization of hyperconnected quotients

    • Topos
    • Automaton
    Slides (PDF)

  7. 27 May 2025

    Local state classifier for automata theory

    IRIF Sémantique seminar Salle 3071, IRIF, Université Paris Cité

    Papers: Topoi of automata I: Four topoi of automata and regular languages · Internal parameterization of hyperconnected quotients

    • Topos
    • Automaton
    Slides (PDF)

  8. 16 May 2025

    Local state classifier for algebraic language theory

    Groupe de travail topossique Centre Lagrange, Paris

    Papers: Topoi of automata I: Four topoi of automata and regular languages · Internal parameterization of hyperconnected quotients

    • Topos
    • Automaton
    • Algebra
    Slides (PDF)

  9. 6 May 2025

    Topoi of automata

    Categories for Automata and Language Theory Salle 3071, IRIF, Université Paris Cité

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

    • Topos
    • Automaton
    Slides (PDF)

  10. 30 April 2025

    Topoi of automata

    Groupe de travail topossique Centre Lagrange, Paris

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

    • Topos
    • Automaton
    Slides (PDF)

  11. 11 March 2025

    Topoi of automata

    CSCAT 2025 Room F203, Sojo University, Kumamoto

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

    • Topos
    • Automaton
    Slides (PDF)

  12. 28 February 2025

    Topoi of automata

    CMUP SAL seminar Online

    Event flyer

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

    • Topos
    • Automaton

2024

  1. 30 November 2024

    Quotient topoi and geometry of computation

    AFSA area meeting Hall 401, TKP Kanda Business Center, Tokyo Poster Outreach

    • Topos
    • Geometry

  2. 10 September 2024

    The colimit of all monomorphisms classifies hyperconnected geometric morphisms

    Toposes in Mondovì Circolo di Lettura, Palazzo del Governatore, Mondovì

    Video

    Paper: Internal parameterization of hyperconnected quotients

    • Topos

  3. 29 August 2024

    Topos theory as a tool of automata theory

    Young Automata Theorists Gathering in Japan Room 305, Akita University, Tegata Campus

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

    • Topos
    • Automaton

  4. 28 June 2024

    Quotient toposes of discrete dynamical systems

    CT 2024 Facultade de Matemáticas, Universidade de Santiago de Compostela

    Paper: Quotient toposes of discrete dynamical systems

    • Topos
    • Dynamics

  5. 18 May 2024

    アイゼンシュタイン整数と組合せ論

    Math Space Topos 2024 new welcome event Outreach

    • Algebra
    • Combinatorics
    Slides (PDF)

  6. 24 April 2024

    圏論の利用と濫用

    18th AFSA Colloquium NII Kanda Lab, Tokyo

    • Category

  7. 16 March 2024

    Introduction to topos theory

    代数トポロジー若手の会 Nagoya University

    • Topos

  8. 15 March 2024

    Combinatorial games as recursive coalgebras

    CSCAT 2024 Multimedia Room 1, Science Building 4, Chiba University, Nishi-Chiba Campus

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

    • Game
    • Coalgebra
    • Algebra
    Slides (PDF)

2023

  1. 7 December 2023

    Constructive mathematics and representation theory

    数学基礎論若手の会2023 Multipurpose Room Nalu, Sunset Breeze Hota, Kyonan, Chiba

    Paper: A topos-theoretic view on Gabriel's theorem

    • Logic
    • Algebra
    Slides (PDF)

  2. 21 August 2023

    Category Theory and Combinatorial Game Theory

    7th Japan Combinatorial Game Theory Conference National Institute of Informatics, Tokyo

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

    • Game
    • Category

  3. 15 July 2023

    母関数の種

    Math Space Topos 2023 new welcome event Outreach

    • Combinatorics
    Slides (PDF)

  4. 6 July 2023

    Internal parameterization of hyperconnected quotients

    Category Theory 2023 Auditoires des Sciences, UCLouvain, Louvain-la-Neuve

    Video

    Paper: Internal parameterization of hyperconnected quotients

    • Topos

  5. 12 May 2023

    Grundy Numbers and Categories

    Japan Combinatorial Game Theory Mini-Workshops with Urban Larsson National Institute of Informatics, Tokyo

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

    • Game
    • Category

  6. 19 April 2023

    Internal parameterization of hyperconnected quotients

    Australian Category Seminar Online

    Paper: Internal parameterization of hyperconnected quotients

    • Topos

  7. 10 March 2023

    Internal parameterization of hyperconnected quotients

    CSCAT 2023 Room 478, Research Building 2, Kyoto University, Yoshida Campus

    Paper: Internal parameterization of hyperconnected quotients

    • Topos

2022

  1. 4 June 2022

    順序集合で遊ぶKan拡張

    Math Space Topos 2022 new welcome event Outreach

    • Category
    Slides (PDF)

2021

  1. 4 December 2021

    ゼータ関数とメビウス反転

    Math Space Topos 2021 new welcome event Outreach

    • Combinatorics
    Slides (PDF)