Univalent foundations of mathematics

Date:

Talk for the Graduate Student Colloquium of the Deparment of Mathematics at the University of Ottawa.