Univalent Foundations Program 2012
GPTKB entity
Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
mathematics research program
|
| gptkbp:focus |
gptkb:homotopy_type_theory
gptkb:univalent_foundations |
| https://www.w3.org/2000/01/rdf-schema#label |
Univalent Foundations Program 2012
|
| 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:startDate |
2012
|
| gptkbp:website |
https://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html
|
| gptkbp:bfsParent |
gptkb:Homotopy_Type_Theory
|
| gptkbp:bfsLayer |
7
|