Date of Original Version

10-2013

Type

Article

Rights Management

Copyright by the American Mathematical Society

Abstract or Description

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.

DOI

10.1090/noti1043

Included in

Philosophy Commons

Share

COinS
 

Published In

Notices of the American Mathematical Society, 60, 9, 1164-1167.