[[!redirects Cellular Cohomology in Homotopy Type Theory]] < [[nlab:Cellular Cohomology in Homotopy Type Theory]] category: redirected to nlab