TY - RPRT TI - Axioms for the category of sets and relations AU - Andre Kornell PY - 2025 UR - https://arxiv.org/abs/2302.14153 ID - 2302.14153 ER -