An introduction to Univalent Foundations of Mathematics

Nicola Gambino

(University of Leeds)

This talk will give an introduction to the Univalent Foundations of Mathematics programme, formulated by the Fields Medallist Vladimir Voevodsky around 2009, which seeks to develop a new approach to the foundations of mathematics on the basis of dependent type theories extended with new axioms inspired from topology. In particular, I will explain Voevodsky’s Univalence Axiom and illustrate how propositions and sets are treated in Univalent Foundations. No prerequisites of topology will be assumed, but some familiarity with dependent type theory may be helpful.
Friday 13th March 2015, 15:00
Board Room
Department of Computer Science