The Univalence Axiom

MCMP – Philosophy of Mathematics ›

56:29 | Apr 18th, 2019

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 impl...Show More