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