[[!redirects dagger precategories]] < [[nlab:dagger category]]