Australian Category Seminar

About Recent Past Speakers
Here is a list of all talks by Emily Riehl at the Australian Category Seminar.
2024
  • 24 January
    Formalizing the ∞-categorical Yoneda lemma in the Rzk proof assistant (abs)
2023
  • 1 Feburary
    Diagram chasing with the mates correspondence (abs)
2021
  • 20 January
    A Chevalley criterion for cartesian arrows (abs)
2020
  • 16 December
    A formal language for model-independent (∞,1)-category theory (abs)
2017
  • 8 Feburary
    Cell complex presentations for Reedy categories (abs)
  • 15 Feburary
    When is a diagram cofibrant? (abs)
  • 1 March
    Algebraic and homotopical aspects of general Reedy categories (abs)
  • 31 May
    A synthetic theory of ∞-categories in homotopy type theory (abs)
  • 5 July
    Homotopy coherent structures
  • 26 July
    Homotopy coherent structures, redux (abs)
2011
  • 10 August
    Parametrised mates
2010
  • 3 March
    Levels in the toposes of simplicial and cubical sets (abs)
2009
  • 2 December
    Natural weak factorization systems in model structures (abs)