Michael Shulman

  1. Title:
    Mini-course: Synthetic homotopy theory
    Speaker:
    Michael Shulman

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

  2. Title:
    Mini-course: Synthetic homotopy theory
    Speaker:
    Michael Shulman

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

  3. Title:
    Towards elementary infinity-toposes
    Speaker:
    Michael Shulman

    Link:
    https://www.ias.edu/video/VoevodskyMemConf-2018/0913-MichaelShulman

  4. Title:
    Gluing in Homotopy Type Theory
    Speaker:
    Michael Shulman

    Link:
    https://www.ias.edu/video/univalent/1213/0320-MichaelShulman

  5. Title:
    Semantics of Higher Inductive Types
    Speaker:
    Michael Shulman

    Link:
    https://www.ias.edu/video/univalent/1213/0227-MichaelShulman

  6. Title:
    Working Group on Univalent Foundations
    Speaker:
    Michael Shulman

    Link:
    https://www.ias.edu/video/1213/members/1212-MichaelShulman

  7. Title:
    Toward Higher Inductive Types
    Speaker:
    Michael Shulman

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

  8. Title:
    Inernal Languages for Higher Toposes
    Speaker:
    Michael Shulman

    Link:
    https://www.ias.edu/video/math/stpm2012/shulman