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