Univalent Foundations Program
GPTKB entity
Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical research program
|
| gptkbp:associatedWith |
gptkb:Institute_for_Advanced_Study
|
| gptkbp:field |
gptkb:mathematics
gptkb:homotopy_type_theory foundations of mathematics |
| gptkbp:goal |
develop new foundations for mathematics based on homotopy type theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
Univalent Foundations Program
|
| gptkbp:influencedBy |
gptkb:logic
homotopy theory |
| gptkbp:launched |
gptkb:Vladimir_Voevodsky
|
| gptkbp:notableIdea |
univalence axiom
|
| gptkbp:startDate |
2012
|
| gptkbp:website |
https://www.math.ias.edu/vladimir/Site3/Univalent_Foundations.html
|
| gptkbp:bfsParent |
gptkb:HoTT
gptkb:Homotopy_Type_Theory gptkb:Michael_Shulman |
| gptkbp:bfsLayer |
7
|