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