category with duals (list of them)
dualizable object (what they have)
A -compact category is a category which is a
in a compatible way. So, notably, it is a monoidal category in which
every object has a dual;
every morphism has an -adjoint.
A category that is equipped with the structure of a symmetric monoidal †-category and is compact closed is -compact if the dagger-operation takes units of dual objects to counits in that for every object of we have
The category of Hilbert spaces (over the complex numbers) with finite dimension is a standard example of a -compact category. This example is complete for equations in the language of -compact categories; see Selinger 2012.
For a category with finite limits the category whose morphisms are spans in is -compact. The operation is that of relabeling the legs of a span as source and target. The tensor product is defined using the cartesian product in . Every object is dual to itself with the unit and counit given by the span . See
The finite parts of quantum mechanics and quantum computation are naturally formulated as the theory of -compact categories. For more on this see at finite quantum mechanics in terms of †-compact categories.
constitutes a dagger-compact category structure.
See for instance (Selinger, remark 4.5).
The concept was introduced in
with an expanded version in
under the name “strongly compact” and used for finite quantum mechanics in terms of dagger-compact categories. The topic was taken up
The examples induced from self-duality-structure are discussed abstractly in
That finite-dimensional Hilbert spaces are “complete for dagger-compactness” is shown in