The language of a model category
Talk, Universidad de Santiago de Compostela, Santiago de Compotela, Spain
Contributed talk during the Category Theory Conference 2024 (CT2024).
Talks and presentations
Limits and colimits in simplicial homotopy type theory
Talk, University of Regensburg, Regensburg, Germany
Contributed talk during the Interactions of Proof Assistants and Mathematics Summer School at Regensburg.
A first look into ∞-categories.
Talk, Deparment of Mathematics, University of Ottawa
Talk for the Graduate Student Colloquium of the Deparment of Mathematics at the University of Ottawa.
Limits and colimits of synthetic (∞,1)-categories.
Talk, Deparment of Mathematics, University of Ottawa
Talk for the Logic Seminar in the Deparment of Mathematics at UOttawa at the University of Ottawa.
Univalent foundations of mathematics
Talk, Deparment of Mathematics, University of Ottawa
Talk for the Graduate Student Colloquium of the Deparment of Mathematics at the University of Ottawa.
Sheaves and Etale spaces
Talk, Deparment of Mathematics, University of Western Ontario
Talk for the Graduate Student Colloquium of the Deparment of Mathematics at the University of Western Ontario.