Emily Riehl

  1. Title:
    A proof of the model-independence of $\infty$-category theory
    Speaker:
    Emily Riehl

    Link:
    http://www.birs.ca/events/2018/5-day-workshops/18w5147/videos/watch/201805111130-Riehl.html

  2. Title:
    A macrocosm principle for cartesian fibrations
    Speaker:
    Emily Riehl

    Link:
    https://video-archive.fields.utoronto.ca/view/11788

  3. Title:
    Towards a synthetic theory of (∞,1)-categories
    Speaker:
    Emily Riehl

    Link:
    https://video-archive.fields.utoronto.ca/view/5048

  4. Title:
    The synthetic theory of $\infty$-categories vs the synthetic theory of $\infty$-categories
    Speaker:
    Emily Riehl

    Link:
    https://www.ias.edu/video/VoevodskyMemConf-2018/0912-EmilyRiehl

  5. Title:
    Limits of quasi-categories with (co)limits
    Speaker:
    Emily Riehl

    Link:
    https://www.msri.org/workshops/684/schedules/17862

  6. Title:
    The formal theory of adjunctions, monads, algebras, and descent
    Speaker:
    Emily Riehl

    Link:
    https://www.msri.org/workshops/689/schedules/18223

  7. Title:
    Foundations of (∞, 2) -category theory
    Speaker:
    Emily Riehl

    Link:
    https://www.msri.org/workshops/797/schedules/22696

  8. Title:
    Cubical Sets (Part 1): The equivariant uniform Kan fibration model of cubical homotopy type theory
    Speaker:
    Emily Riehl

    Link:
    https://www.msri.org/seminars/25038/schedules/28427

  9. Title:
    A Reintroduction to Proofs
    Speaker:
    Emily Riehl

    Link:
    https://mathtube.org/lecture/video/reintroduction-proofs