[[!redirects HoTT book]] [[!redirects the HoTT book]] < [[nlab:Homotopy Type Theory -- Univalent Foundations of Mathematics]] category:redirected to nlab [[!redirects book]] [[!redirects the book]] [[!redirects the Book]] [[!redirects The Book]] [[!redirects HoTT book]] [[!redirects HoTT Book]]