[[!redirects universe]] [[!redirects universes]] [[!redirects Russell universe]] [[!redirects Russell universes]] < [[nlab:type universe]] category: redirected to nlab