[[!redirects Homotopy Type System]] [[!redirects HTS]] < [[nlab:Homotopy Type System]] category:redirected to nlab