[[!redirects semiadditive dagger category]] [[!redirects semiadditive dagger categories]] < [[nlab:semiadditive dagger category]] category:redirected to nlab