The equivalence axiom and univalent models of type theory. (Talk at CMU on February 4, 2010)
Abstract
This is the text of my talk at CMU on Feb. 4, 2010 were I gave the second public presentation of the Univalence Axiom (called "equivalence axiom" in the text). The first presentation of the axiom was in a lecture at LMU Munich in November 2009.
- Publication:
-
arXiv e-prints
- Pub Date:
- February 2014
- DOI:
- 10.48550/arXiv.1402.5556
- arXiv:
- arXiv:1402.5556
- Bibcode:
- 2014arXiv1402.5556V
- Keywords:
-
- Mathematics - Logic