homotopy type theory
variant of type theory incorporating the univalence axiom of Voevodsky
Press Enter · cited answer in seconds
0 sources
homotopy type theory
Summary
homotopy type theory ranks in the top 2% of general entities by monthly Wikipedia readership (234 views/month).[1]
Key Facts
- homotopy type theory's image is recorded as Hott book cover.png[2].
- homotopy type theory's subclass of is recorded as type theory[3].
- homotopy type theory's subclass of is recorded as formal system[4].
- homotopy type theory's Commons category is recorded as Homotopy type theory[5].
- homotopy type theory's Freebase ID is recorded as /m/0hn8nh2[6].
- homotopy type theory's official website is recorded as http://homotopytypetheory.org/[7].
- homotopy type theory's Stack Exchange tag is recorded as https://mathoverflow.net/tags/homotopy-type-theory[8].
- homotopy type theory's Stack Exchange tag is recorded as https://proofassistants.stackexchange.com/tags/homotopy-type-theory[9].
- homotopy type theory's short name is recorded as {'lang': 'en', 'text': 'HoTT'}[10].
- homotopy type theory's uses is recorded as homotopy[11].
- homotopy type theory's Quora topic ID is recorded as Homotopy-Type-Theory[12].
- homotopy type theory's nLab ID is recorded as homotopy type theory[13].
- homotopy type theory's Microsoft Academic ID is recorded as 169523603[14].
- homotopy type theory's Golden ID is recorded as Homotopy_type_theory-A9AW5G[15].
Why It Matters
homotopy type theory ranks in the top 2% of general entities by monthly Wikipedia readership (234 views/month).[1] It has Wikipedia articles in 7 language editions, a strong signal of global cultural recognition.[16]