类型论的等价公理与单叶模型。(Talk于2010年2月4日在CMU举行）
The equivalence axiom and univalent models of type theory. (Talk at CMU on February 4, 2010)
摘要：
这是我2010年2月4日在CMU的演讲，我第二次公开介绍了单价公理（文中称为“等价公理”）。公理的第一次介绍是在2009年11月慕尼黑LMU的一次演讲中。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
