(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.Board Room

Department of Computer Science