Loading...
The Univalence Axiom
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.
Hosts & Guests
No transcript available for this episode.
More from MCMP – Philosophy of Mathematics
View all episodes →
Recent metamathematical wonders and the question of arithmetical realism
MCMP – Philosophy of Mathematics
Apr 18, 20191:02:16pending
In Good Company? On Hume's Principle and the assignment of numbers to infinite c...
MCMP – Philosophy of Mathematics
Apr 18, 20191:07:17pending