Dagger Compact Category¶
A compact closed category with an involutive adjoint compatible with its tensor structure and duality cups and caps.
Core Idea¶
A dagger compact category is a compact closed category in which every object has a dual, and every morphism has an involutive adjoint called a dagger. The dagger must respect tensor products and the category's symmetry. Crucially, each duality cup is the symmetry-adjusted dagger of its cap; having compact duals and a dagger separately is not enough.[^selinger]
The two snake identities make bending a typed wire one way and back equivalent to leaving it straight. The dagger reverses a morphism's direction and composition. Their compatibility lets both operations be used consistently in string-diagram proofs.[^selinger]
Scope of Application¶
Finite-dimensional Hilbert spaces and linear maps form a dagger compact category with the usual tensor product and Hilbert adjoint. Sets and relations form another: product is the tensor, a set is self-dual, and relational converse is the dagger. These are different interpretations of the same categorical axioms.[^selinger]
The structure supports categorical reasoning in quantum information, but a protocol with classical outcomes can require additional structure such as biproducts. It is not a claim that every quantum-mechanical property follows from these axioms alone.[^protocol]
Clarity¶
Compact closure is the nearest existing genus: it has duals and snake laws but does not require an adjoint. A dagger symmetric monoidal category is another near-miss: it need not provide a dual for every object. Even when both structures exist, the cup–cap compatibility law must be checked separately.[^selinger]
Manages Complexity¶
Once all axioms are proved for a model, a well-typed string-diagram equation can stand in for a long composite of tensor, symmetry, dual and adjoint maps. This compression is rigorous only when the diagrams are typed and the rewrite falls under the graphical coherence theorem.[^selinger]
Abstract Reasoning¶
To classify a proposed model, identify its symmetric tensor, duals and both snake identities. Then verify that dagger reverses morphisms involutively, respects tensor/coherence, and turns each cap into the corresponding cup after symmetry. If any test fails, the model may still be compact closed or dagger monoidal, but it is not dagger compact in this sense.[^selinger]
Theorems transfer only at their stated scope. For example, equality of well-typed dagger-compact expressions under every finite-dimensional Hilbert-space interpretation implies equality in every dagger compact category. This does not extend to arbitrary implications or a test in one fixed finite dimension.[^complete]
Knowledge Transfer¶
FdHilb and Rel both admit the same abstract equations despite interpreting dagger as Hilbert adjoint and relational converse respectively. A proof using only dagger-compact axioms can therefore be reused between them. Properties that additionally rely on probabilities, bases or biproducts need separate checks. Outside a typed categorical setting, the name is analogy rather than literal transfer.[selinger][protocol]
[^selinger]: Peter Selinger, “Dagger compact closed categories and completely positive maps”, Electronic Notes in Theoretical Computer Science 170 (2007), Definitions 2.2, 2.4, 2.6; Examples 2.15–2.17; Theorem 3.11. [^complete]: Peter Selinger, “Finite dimensional Hilbert spaces are complete for dagger compact closed categories”, Logical Methods in Computer Science 8(3:6) (2012), Theorem 2.2 and §6. [^protocol]: Samson Abramsky and Bob Coecke, “A categorical semantics of quantum protocols”, Proceedings of LICS (2004), abstract and protocol analysis.
Relationships to Other Abstractions¶
Current abstraction Dagger Compact Category Domain-specific
Parents (1) — more general patterns this builds on
-
Dagger Compact Category is a kind of Compact closed category Domain-specific
It retains compact duals for every object and adds a tensor-compatible dagger tied to the duality maps.
Hierarchy path (1) — routes to 1 parentless root
- Dagger Compact Category → Compact closed category → Duality
Neighborhood in Abstraction Space¶
Dagger Compact Category sits in a moderately populated region (46th percentile for distinctiveness): it has near-neighbors but no dense thicket of look-alikes.
Family — Algebraic Structures, Groups & Operators (42 abstractions)
Nearest neighbors
- Monoidal Category — 0.87
- Compact closed category — 0.87
- Unitary modular tensor category — 0.87
- Dirac Structure — 0.86
- Locally profinite group — 0.86
Computed from structural-signature embeddings · 2026-10-08