Presentations
Opposite and hom weak \(\omega\)-categories
Category Theory 2024Santiago de Compostela, SpainJune 24, 2024A novel approach to \(\omega\)-categories
Masaryk University Algebra SeminarBrno, CzechiaApril 03, 2024Computads for generalised signatures
Peripatetic Seminar on Sheaves and Logic 107Athens, GreeceApril 01, 2023Computads for generalised signatures
Yorkshire and Midlands Category Theory Seminar 30Birmingham, UKMarch 15, 2023Computads for weak \(\omega\)-categories as an inductive type
Topology, Algebra and Categories in Logic 2022Coimbra, PortugalJune 23, 2022