[[!redirects Synthetic Cohomology in Homotopy Type Theory]] < [[nlab:homotopy type theory - references]] category: redirected to nlab