Axioms for the category of sets and relations
Category Theory
2025-03-06 v5 Logic
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.
Cite
@article{arxiv.2302.14153,
title = {Axioms for the category of sets and relations},
author = {Andre Kornell},
journal= {arXiv preprint arXiv:2302.14153},
year = {2025}
}
Comments
18 pages; added background section; to be published in Theory and Applications of Categories