homotopy type theory
Sign in to saveAlso known as HoTT
variant of type theory incorporating the univalence axiom of Voevodsky
Wikidata facts
- Subclass of
- formal system
- Official website
- homotopytypetheory.org
- Image
- Hott book cover.png
Show 4 more facts
- Commons category
- Homotopy type theory
- short name
- HoTT
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/homotopy-type-theory
- uses
- homotopy
Sources (2)
via Wikidata · CC0