A **symmetric monoidal dagger category** is a braided monoidal dagger category $C$ which is also a symmetric monoidal category, i.e. such that for all objects $A \in Ob(C)$ and $B \in Ob(C)$, $\beta_{A,B} \circ \beta_{B, A} = \Iota_{A,B}$.

Last revised on May 16, 2022 at 04:51:01. See the history of this page for a list of all contributions to it.