414 research outputs found
Axioms for the category of sets and relations
We provide axioms for the dagger category of sets and relations that recall
recent axioms for the dagger category of Hilbert spaces and bounded operators.Comment: 14 pages; corrected proof of Corollary 1.
- …