Axioms for the category of sets and relations
arXiv:2302.14153
Abstract
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.
18 pages; added background section; to be published in Theory and Applications of Categories