Categorical logic meets double categories (Chapter 2 of my master's thesis)
List of talks
Categorical logic meets double categories, at CT 2025, on July 14 2025.
Slides
Exploring double categories of relations,
at 32nd Foundational Methods in Computer Science Workshop, on June 18 2025.
Slides
Double categories of relations relative to factorization systems and fibrations,
at the 2025 CMS Summer Meeting, on June 8 2025.
Slides
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