Chris Kapulkin

  1. Title:
    The Simplicial Model of Univalence
    Speaker:
    Chris Kapulkin

    Link:
    https://www.ias.edu/video/univalent/kapulkin2012Nov29

  2. Title:
    The Simplicial Model of UA
    Speaker:
    Chris Kapulkin

    Link:
    https://www.ias.edu/video/univalent/kapulkin

  3. Title:
    Cubical Sets (Part 1): Introduction to Cubical Sets
    Speaker:
    Chris Kapulkin

    Link:
    https://www.msri.org/seminars/25032/schedules/28421

  4. Title:
    Cubical Sets (Part 1): Homotopy coherent nerve and straightening, cubically
    Speaker:
    Chris Kapulkin

    Link:
    https://www.msri.org/seminars/25035/schedules/28424

  5. Title:
    Online Seminar: Homotopy type theory and internal languages of higher categories
    Speaker:
    Chris Kapulkin

    Link:
    https://www.msri.org/seminars/25065/schedules/28460