homotopy type theory (Q5891840)
Jump to navigation
Jump to search
variant of type theory incorporating the univalence axiom of Voevodsky
- HoTT
Language | Label | Description | Also known as |
---|---|---|---|
English | homotopy type theory |
variant of type theory incorporating the univalence axiom of Voevodsky |
|
Statements
HoTT (English)
0 references
Homotopy type theory
0 references
Identifiers
1 reference
10 September 2022
Sitelinks
Wikipedia(7 entries)
- dewiki Homotopietypentheorie
- enwiki Homotopy type theory
- eswiki Teoría de tipos homotópica
- frwiki Théorie des types homotopiques
- ruwiki Гомотопическая теория типов
- viwiki Lý thuyết hình thái đồng luân
- zhwiki 同伦类型论
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- commonswiki Category:Homotopy type theory