Category:Homotopy type theory
Jump to navigation
Jump to search
variant of type theory incorporating the univalence axiom of Voevodsky  | |||||
| Upload media | |||||
| Subclass of | |||||
|---|---|---|---|---|---|
| official website | |||||
| |||||
 | |||||
Subcategories
This category has only the following subcategory.
T
Media in category "Homotopy type theory"
The following 2 files are in this category, out of 2 total.
-
BottPeriodicityClock.gif 715 × 800; 282 KB
-
The making of HoTT book.webm 41 s, 1,280 × 720; 1.76 MB
