Yuto Ikeda

PhD Student

Graduate School of Mathematical Sciences, The University of Tokyo

yuto@ikeda.ac ORCID
Categorical Logic Foundations of Mathematics

I am a PhD student working in categorical logic. My current focus is on categorical approaches to the incompleteness theorems and provability logic.

Publications

  1. Gödel coding on fibrations and geminal categories Yuto Ikeda Master’s Thesis, The University of Tokyo, 2026
    PDF 
    @mastersthesis{ikeda2026,
  author      = {Ikeda, Yuto},
  title       = {{G{\"o}del} coding on fibrations and geminal categories},
  school      = {University of Tokyo},
  address     = {Tokyo, Japan},
  year        = {2026},
  month       = feb,
  type        = {Master's thesis},
  url         = {https://ikeda.ac/pubs/ikeda2026/}
}

Talks

  1. Gödel coding on fibrations and geminal categories CSCAT 2026, March 2026, Fukui, Japan
    Slides (PDF) 
    @misc{ikeda-cscat2026,
  author       = {Ikeda, Yuto},
  title        = {{G{\"o}del} Coding on Fibrations and Geminal Categories},
  howpublished = {Talk at CSCAT 2026},
  year         = {2026},
  month        = mar,
  url          = {https://ikeda.ac/talks/cscat2026/}
}
  2. 証明可能性の構造的理解に向けて：圏論的アプローチ (in Japanese)Towards a structural understanding of provability: A categorical approach 数学基礎論若手の会 2025, October 2025, Maebashi, Japan
    Slides (PDF) 
    @misc{ikeda-wakate2025,
  author       = {Ikeda, Yuto},
  title        = {証明可能性の構造的理解に向けて：圏論的アプローチ [{Towards} a Structural Understanding of Provability: A Categorical Approach]},
  howpublished = {Talk at 数学基礎論若手の会 2025},
  year         = {2025},
  month        = oct,
  note         = {(in Japanese)},
  url          = {https://ikeda.ac/talks/wakate2025/}
}
  3. A categorical approach to Gödel’s incompleteness via arithmetic universes CSCAT 2025, March 2025, Kumamoto, Japan
    Slides (PDF) 
    @misc{ikeda-cscat2025,
  author       = {Ikeda, Yuto},
  title        = {A Categorical Approach to {G{\"o}del}'s Incompleteness via Arithmetic Universes},
  howpublished = {Talk at CSCAT 2025},
  year         = {2025},
  month        = mar,
  url          = {https://ikeda.ac/talks/cscat2025/}
}
  4. A categorical approach to Gödel’s incompleteness via arithmetic universes 2nd FoPM International Symposium, February 2025, Tokyo, Japan (Poster)
    Poster (PDF) 
    @misc{ikeda-fopm2025,
  author       = {Ikeda, Yuto},
  title        = {A Categorical Approach to {G{\"o}del}'s Incompleteness via Arithmetic Universes},
  howpublished = {Poster at 2nd FoPM International Symposium},
  year         = {2025},
  month        = feb,
  url          = {https://ikeda.ac/talks/fopm2025/}
}

CV

Education

Teaching

Fellowships & Grants