[[!redirects On the Formalization of Higher Inductive Types and Synthetic Homotopy Theory]] < [[nlab:homotopy type theory - references]] category: redirected to nlab