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