symmetric monoidal dagger-category
With duals for objects
With duals for morphisms
Special sorts of products
In higher category theory
A symmetric monoidal -category is a symmetric monoidal category that is also a -category for which:
for every pair of morphisms
the associator, left and right unitors, and braiding are all unitary.
If the category is also a compact closed category in a compatible way, then it is called a dagger-compact category.
- P. Selinger, Dagger compact closed categories and completely positive maps, Proceedings of the 3rd International Workshop on Quantum Programming Languages, Chicago, June 30–July 1, 2005. web
Revised on December 16, 2010 14:37:02
by Urs Schreiber