Dagger symmetric monoidal category

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed. Find sources: "Dagger symmetric monoidal category" – news · newspapers · books · scholar · JSTOR (July 2022) (Learn how and when to remove this message)

In the mathematical field of category theory, a dagger symmetric monoidal category is a monoidal category ${\displaystyle \langle \mathbf {C} ,\otimes ,I\rangle }$ that also possesses a dagger structure. That is, this category comes equipped not only with a tensor product in the category theoretic sense but also with a dagger structure, which is used to describe unitary morphisms and self-adjoint morphisms in ${\displaystyle \mathbf {C} }$: abstract analogues of those found in FdHilb, the category of finite-dimensional Hilbert spaces. This type of category was introduced by Peter Selinger^[1] as an intermediate structure between dagger categories and the dagger compact categories that are used in categorical quantum mechanics, an area that now also considers dagger symmetric monoidal categories when dealing with infinite-dimensional quantum mechanical concepts.