[[!redirects cohesive homotopy type theory]] < [[nlab:cohesive homotopy type theory]] category: redirected to nlab