"Setoids, e-Categories, and Exact Completions" Date March 07, 2013 Speakers Richard Garner Affiliation Queen Mary, University of London School of Mathematics Univalent