Gray products of diagrammatic (∞, n)-categories.
[slides] CT - Brno. 2025. (short talk)
Diagrammatic (∞, n)-categories.
[slides] CLHC - Manchester. 2024. (short talk)
What is a diagrammatic (∞, ∞)-category?
[slides] TallCat Seminar - Tallinn. 2024
Diagrammatic sets as a model of homotopy types.
[slides] GETCO - Tallinn. 2024
Cubical type theory inside a presheaf topos.
[slides] SYCO10 - Edinburgh. 2022.