Category:The Homotopy Type Theory Book
Jump to navigation
Jump to search
Media in category "The Homotopy Type Theory Book"
The following 5 files are in this category, out of 5 total.
-
Hott book cover.png 300 × 432; 42 KB
-
Hott-a4.pdf 1,239 × 1,752, 444 pages; 5.52 MB
-
Hott-ebook.pdf 718 × 1,183, 599 pages; 3.17 MB
-
Hott-letter.pdf 1,275 × 1,650, 475 pages; 5.55 MB
-
Hott-online.pdf 1,275 × 1,650, 473 pages; 3.06 MB