Statements (21)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:book
|
| gptkbp:abbreviation |
gptkb:HoTT_book
|
| gptkbp:editor |
gptkb:The_Univalent_Foundations_Program
|
| gptkbp:format |
gptkb:HTML
gptkb:print |
| gptkbp:language |
English
|
| gptkbp:license |
gptkb:Creative_Commons_Attribution-ShareAlike_3.0_Unported_License
|
| gptkbp:notableFor |
gptkb:collaborative_authorship
free online availability introducing univalent foundations |
| gptkbp:openAccess |
true
|
| gptkbp:publicationYear |
2013
|
| gptkbp:publisher |
gptkb:The_Univalent_Foundations_Program
|
| gptkbp:subject |
gptkb:homotopy_type_theory
gptkb:univalent_foundations |
| gptkbp:title |
gptkb:Homotopy_Type_Theory:_Univalent_Foundations_of_Mathematics
|
| gptkbp:url |
https://homotopytypetheory.org/book/
|
| gptkbp:bfsParent |
gptkb:HoTT_community
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
HoTT book
|