[[!redirects cocartesian monoidal dagger category]] [[!redirects cocartesian monoidal dagger categories]] < [[nlab:cocartesian monoidal dagger category]]