Richard Garner

  1. Title:
    "Setoids, e-Categories, and Exact Completions"
    Speaker:
    Richard Garner

    Link:
    https://www.ias.edu/video/univalent/1213/0307-RichardGarner

  2. Title:
    Weil spaces, and the embedding theorem for tangent categories
    Speaker:
    Richard Garner

    Link:
    http://www.birs.ca/events/2021/5-day-workshops/21w5251/videos/watch/202106141658-Garner.html

  3. Title:
    The free tangent category on an affine connection
    Speaker:
    Richard Garner

    Link:
    http://www.birs.ca/events/2021/5-day-workshops/21w5251/videos/watch/202106151600-Garner.html