[[!redirects cohesive homotopy type theory]] [[!redirects space]] < [[nlab:cohesive homotopy type theory with two kinds of types]] category: redirected to nlab