About this episode
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.
Get every episode summarized
Each time MCMP – Philosophy of Mathematics publishes, we email you a written briefing from the transcript — the topics, who appeared, and any specific claims, with the ad reads skipped.
Email me new episodesFree for 3 shows. No card needed.
Hosts & guests
No transcript yet
This episode has not been transcribed. Request it and it moves to the front of the queue.
More episodes
More from MCMP – Philosophy of Mathematics
Recent metamathematical wonders and the question of arithmetical realism
MCMP – Philosophy of Mathematics
Apr 18, 20191:02:16pending
The Univalence Axiom
MCMP – Philosophy of Mathematics
Apr 18, 201956:22pending
In Good Company? On Hume's Principle and the assignment of numbers to infinite c...
MCMP – Philosophy of Mathematics
Apr 18, 20191:07:17pending
Learning Experiences, Expected Inaccuracy, and the Value of Knowledge
MCMP – Philosophy of Mathematics
Apr 18, 201956:33pending