[[!redirects H-space]] < [[nlab:H-space]] category: redirected to nlab