The Univalent Foundations Program
GPTKB entity
Statements (20)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematical research program
|
| gptkbp:aimsTo |
develop new foundations for mathematics
|
| gptkbp:focusesOn |
gptkb:homotopy_type_theory
gptkb:univalent_foundations |
| https://www.w3.org/2000/01/rdf-schema#label |
The Univalent Foundations Program
|
| gptkbp:languageOfName |
gptkb:Homotopy_Type_Theory
|
| gptkbp:location |
gptkb:Princeton,_New_Jersey
|
| gptkbp:notableParticipant |
gptkb:Steve_Awodey
gptkb:Vladimir_Voevodsky gptkb:Andrej_Bauer gptkb:Peter_Aczel |
| gptkbp:organizedBy |
gptkb:Institute_for_Advanced_Study
|
| gptkbp:produced |
gptkb:Homotopy_Type_Theory:_Univalent_Foundations_of_Mathematics_(book)
|
| gptkbp:relatedTo |
gptkb:logic
gptkb:category_theory formalization of mathematics |
| gptkbp:startDate |
2012
|
| gptkbp:website |
https://www.math.ias.edu/univalent/
|
| gptkbp:bfsParent |
gptkb:homotopy_type_theory
|
| gptkbp:bfsLayer |
5
|