The Clowder Project

8.4 Categories of Relations With Apartness Composition

• Subsection 8.4.1: The Category of Relations With Apartness Composition
  • Definition 8.4.1.1.1: The Category of Relations With Apartness Composition
  • Proposition 8.4.1.1.2: Isomorphism Between $\mathsf{Rel}$ and $\mathsf{Rel}^{\mathord {\mathbin {\square }}}$
• Subsection 8.4.2: The 2-Category of Relations With Apartness Composition
  • Definition 8.4.2.1.1: The 2-Category of Relations With Apartness Composition
  • Proposition 8.4.2.1.2: 2-Isomorphism Between $\boldsymbol {\mathsf{Rel}}$ and $\boldsymbol {\mathsf{Rel}}^{\mathord {\mathbin {\square }},\mathsf{co}}$
• Subsection 8.4.3: The Linear Bicategory of Relations
  • Definition 8.4.3.1.1: The Linear Bicategory of Relations
• Subsection 8.4.4: Other Categorical Structures With Apartness Composition
  • Remark 8.4.4.1.1: Other Categorical Structures With Apartness Composition