nLab
dagger compact category

Idea

A dagger compact category is a category which is a

• a compact closed category

and

• a dagger category

in a compatible way.

So notably it is a monoidal category in which

• every object has a dual;

• every morphism has an $†$-adjoint.

(Hence a $†$-compact category is similar in flavor to an $(\mathrm{\infty }\mathrm{,2})$-category with all adjoints in the sense of On the Classification of Topological Field Theories .)

Definition

A category $C$ which is equipped with the structure of a dagger category and of a compact closed category is dagger compact closed if the dagger-operation takes units of dual objects to counits in that for every object $A$ of $C$ we have

$$\begin{array}{ccc}& & A\otimes A^{*}\\ & {}^{{ϵ}_A^{†}}\nearrow \\ I& & {\downarrow }^{{\sigma }_{A\times A^{*}}}\\ & {}_{{\eta }_A}\searrow \\ & & A^{*}\otimes A\end{array}.$$\array{ && A \otimes A^* \\ & {}^{\epsilon_A^\dagger}\nearrow \\ I && \downarrow^{\mathrlap{\sigma_{A \times A^*}}} \\ & {}_{\eta_A}\searrow \\ && A^* \otimes A } \,.

Examples

• For $C$ a cartesian monoidal category the category ${\mathrm{Span}}_1(C)$ of spans in $C$ is dagger compact: the dagger operation is that of relabeling the legs of a span as source and target; every object $X$ is dual to itself with the unit and counit given by the span $X\stackrel{\mathrm{Id}}{\leftarrow }X\stackrel{\mathrm{Id}\times \mathrm{Id}}{\to }X\times X$. See

  • John Baez, Spans in quantum theory (web, pdf, blog)

Quantum mechanics in terms of $†$-compact categories

Large parts of quantum mechanics and quantum computation are naturally formulated as the theory of $†$-compact categories.

For more on this see

• quantum mechanics in terms of †-compact categories.

References

The concept was introduced in

• S. Abramsky and B. Coecke, A categorical semantics of quantum protocols, Proceedings of the 19th IEEE conference on Logic in Computer Science (LiCS’04). IEEE Computer Science Press (2004) (arXiv)

See also.

• Peter Selinger, Dagger compact closed categories and completely positive maps (web, pdf)