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