Research talks

Talks

• Categorical logic meets double categories

  These talks are on Chapter 2 of my master's thesis.

  • Cartesian bicategories and cartesian equipments: Categorical Logic Meets Double Categories- Side B, at CSCAT 2025, on March 11 2025. Slides
  • Categorical logic meets double categories, at Logic Winter School, on February 21 2025. Slides
  • From Fibrations to Virtual Double Categories: Categorical Logic Meets Double Categories- Side A, at Kyoto Category Theory Meeting, on February 22 2025 Slides
  • (Hyper)doctrines as virtual double categories, CSCAT2024 at the University of Chiba, on March 14 2024. Slides (This talk iss a preliminary version of the above talks.)
• A Formal Theory of Anticolimits
  • at the workshop on Computer Science and Categorical Structures, on October 31 2024. Slides
• Double categories of Relations Relative to Factorization Systems
  • at CT2024, on June 25 2024. Slides
  • at at the Thursday Seminar at RIMS, Kyoto University, on November 16 2023. Slides
• Structural Set Theory -- Towards SEFAR --
  • at the Mathematical Foundations seminar for Young Generation 2023, on December 08 2023. Slides