file.pdf (181.26 kB)
0/0

Voevodsky’s Univalence Axiom in Homotopy Type Theory

Download (181.26 kB)
journal contribution
posted on 01.10.2013 by Steven Awodey, Alvaro Pelayo, Michael A. Warren

In this short note we give a glimpse of homotopy type theory, a new field of mathematics at the intersection of algebraic topology and mathematical logic, and we explain Vladimir Voevodsky’s univalent interpretation of it. This interpretation has given rise to the univalent foundations program, which is the topic of the current special year at the Institute for Advanced Study.

Categories

Keyword(s)

History

Publisher Statement

Copyright by the American Mathematical Society

Date

01/10/2013

Exports

Categories

Keyword(s)

Exports