Talk page

Title:
"Setoids, e-Categories, and Exact Completions"

Speaker:
Richard Garner

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