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.
- Diagram chasing with the mates correspondence – 1 February 2023
- A Chevalley criterion for cartesian arrows – 20 January 2021
- A formal language for model-independent (∞,1)-category theory – 16 December 2020
- Homotopy coherent structures, redux – 26 July 2017
- Homotopy coherent structures – 5 July 2017
- A synthetic theory of ∞-categories in homotopy type theory – 31 May 2017
- Algebraic and homotopical aspects of general Reedy categories – 1 March 2017
- When is a diagram cofibrant? – 15 February 2017
- Cell complex presentations for Reedy categories – 8 February 2017
- Parametrised mates – 10 August 2011
- Levels in the toposes of simplicial and cubical sets – 3 March 2010
- Natural weak factorization systems in model structures – 2 December 2009