[[!redirects spectrum]] < [[nlab:Omega-spectrum type]] category:redirected to nlab