Talks & Slides

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