Category:The Homotopy Type Theory Book

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