Resources

Conference/Workshop/Seminar Talks (recorded)

TYPES 2025

Title: Synthetic-Inductive Category Theory
Date: 09 June 2025
Venue: TYPES 2025 Conference, Glasgow, Scotland
Topic: Synthetic-Inductive Category Theory (Chapter 4)

🔗Abstract

🔗Slides

🔗Video (YouTube)

CT Octoberfest 2024

Title: A Type Theory for Synthetic 1-Category Theory
Date: 27 October 2024
Venue: Category Theory Octoberfest 2024, online
Topic: General overview

🔗Abstract

🔗Slides

🔗Video

Conference/Workshop/Seminar Talks (not recorded)

TalTech TSEM

Title: Polarity Problems and the Semantics of Directed Type Theory
Date: 07 May 2025
Venue: Computer Science Theory Seminar (Tallinn University of Technology's Logic and Semantics Group), Tallinn, Estonia
Topic: Polarity Problems, Directed Path Induction (Chapters 2 & 3)

🔗Abstract

🔗Slides

EuroProofNet WG6 2025

Title: GATs, Cats, and CwFs
Date: 18 April 2025
Venue: EuroProofNet Working Group 6 Meeting 2025, Genoa, Italy
Topic: Generalized Algebra (Chapter 1)

🔗Abstract

🔗Slides