Talks & Slides

Double categories of profunctors
slides
March 2025, Kumamoto, Japan.
CSCAT2025
On the decomposition of a strong epimorphism into regular epimorphisms
slides
February 2025, Kyoto, Japan.
Kyoto Category Theory Meeting
Universal algebra over locally presentable categories
slides
November 2024, Tokyo, Japan.
Categories in Tokyo 1st
Introduction to categorical universal algebra (short lecture)
note(JP)
November 2024, Tokyo, Japan.
Categories in Tokyo 1st
Formalizing accessibility and duality in a virtual equipment
slides
June 2024, Santiago de Compostela, Spain.
CT2024
Formal accessibility in a virtual equipment
slides
March 2024, Chiba, Japan.
CSCAT2024
Universal algebra over locally presentable categories
slides
February 2024, Tokyo, Japan.
Gathering for Young Researchers on Algebra 2024
Monads, partial algebras, and partial logic
slides
November 2023, Hota, Japan.
Gathering for Young Researchers on Mathematical Logic 2023
Birkhoff's variety theorem for relative algebraic theories
slides
September 2023, Sendai, Japan.
MSJ2023 Autumn Meeting
Birkhoff's variety theorem for relative algebraic theories
slides
video
July 2023, Luvain-la-Neuve, Belgium.
CT2023
Finitary Monads on LFP Categories and Birkhoff's Variety Theorem
March 2023, Kyoto, Japan.
CSCAT2023