[[!redirects loop space]] < [[nlab:loop space type]] category: redirected to nlab