Axioms for the category of sets and relations

2023/02/27 by Andre Kornell, Kornell, Andre · 1 citation
Computer Science · Mathematics · #18B05 #18M05 (Secondary) #18M40 (Primary) #Advanced Algebra and Logic #Category Theory (math.CT) #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Logic (math.LO)

paper · pdf · doi:10.48550/arxiv.2302.14153

openalex publication_date 2023/02/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Cited by

• A Categorical Analysis of Large Language Models and Why LLMs Circumvent the Symbol Grounding Problem

Related

• Dagger Categories of Tame Relations
• Axiomatising the dagger category of complex Hilbert spaces
• Dagger categories and the complex numbers: Axioms for the category of finite-dimensional Hilbert spaces and linear contractions
• Dagger categories of orthosets and the complex Hilbert spaces
• Dagger categories of relations: The equivalence of dilatory dagger categories and epi-regular independence categories