[[!redirects precategory]] [[!redirects precategories]] < [[nlab:category]] category:redirected to nlab