Floris van Doorn

  1. Title:
    Reducing HITs to quotients
    Speaker:
    Floris van Doorn

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

  2. Title:
    What can we learn from formalizations in homotopy type theory?
    Speaker:
    Floris van Doorn

    Link:
    http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305250900-vanDoorn.html