Skip to content
Sign inOpen the app
MCMP – Philosophy of Mathematics

The Univalence Axiom

Aug 6, 2014
0:00Duration unknown

Streams straight from the publisher. podnod never proxies or re-hosts episode audio.

Open in podnod

Steve Awodey (CMU) gives a talk at the MCMP Colloquium (16 July, 2014) titled "The Univalence Axiom". Abstract: In homotopy type theory, the Univalence Axiom is a new principle of reasoning which implies that isomorphic structures can be identified. I will explain this axiom and consider its background and consequences, both mathematical and philosophical.