Egbert Rijke

  1. 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

  2. Title:
    Homotopy Colimits and a Descent Theorem
    Speaker:
    Egbert Rijke

    Link:
    https://www.ias.edu/video/univalent-1213-0314-EgbertRijke

  3. Title:
    Orthogonal factorization in HoTT
    Speaker:
    Egbert Rijke

    Link:
    https://www.ias.edu/video/1213/univalent/0124-EgbertRijke