Emily Riehl
Here is a list of talks given by Emily Riehl at the Australian Category Seminar. Click on the title of a talk for an abstract.
- Formalizing the ∞-categorical Yoneda lemma in the Rzk proof assistant – 24 January 2024
Here is a list of talks given by Emily Riehl at the Australian Category Seminar. Click on the title of a talk for an abstract.