homotopy type theory
Sign in to saveAlso known as HoTT
variant of type theory incorporating the univalence axiom of Voevodsky
In the Vinony graph
Vinony's link graph records 53 inbound references to homotopy type theory, and connects out to arXiv, foundations of mathematics and type theory.
It sits within the topics Formal methods, Foundations of mathematics and Homotopy theory.
Vinony links it to 7 Wikipedia language editions.
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
Connections
arXiv
Entity
foundations of mathematics
Entity
type theory
Entity
Curry–Howard correspondence
Entity
intuitionistic type theory
Entity
computer science
Entity
International Standard Book Number
Entity
programming language
Entity
set theory
Entity
topology
Entity
set
Entity
mathematical proof
Entity
digital object identifier
Entity
mathematical logic
Entity
dimension
Entity
GitHub
Entity
Uppsala University
Entity
mathematical induction
Entity
ETH Zurich
Entity
Creative Commons license
Entity