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