Fields- Workshop on Homotopy Type Theory and Univalent Foundations of Mathematics

  1. Title:
    Non-Recursive Higher Inductive Types
    Speaker:
    Nicolai Kraus

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

  2. Title:
    Induction and homotopy initiality for a class of 1-HITs
    Speaker:
    Gabe Dijkstra

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

  3. Title:
    Constructive set theory in Homotopy Type Theory
    Speaker:
    Håkon Robbestad Gylterud

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

  4. Title:
    Topological models of dependent type theory
    Speaker:
    Paige North

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

  5. Title:
    Localization at maps between omega-compact types via a small object argument in HoTT
    Speaker:
    Egbert Rijke

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