The Clowder Project

5.2 Categories of Relations

• Subsection 5.2.1: The Category of Relations
  • Definition 5.2.1.1.1: The Category of Relations
• Subsection 5.2.2: The Closed Symmetric Monoidal Category of Relations
  • Subsubsection 5.2.2.1: The Monoidal Product
    • Definition 5.2.2.1.1: The Monoidal Product of $\mathsf{Rel}$
  • Subsubsection 5.2.2.2: The Monoidal Unit
    • Definition 5.2.2.2.1: The Monoidal Unit of $\mathsf{Rel}$
  • Subsubsection 5.2.2.3: The Associator
    • Definition 5.2.2.3.1: The Associator of $\mathsf{Rel}$
  • Subsubsection 5.2.2.4: The Left Unitor
    • Definition 5.2.2.4.1: The Left Unitor of $\mathsf{Rel}$
  • Subsubsection 5.2.2.5: The Right Unitor
    • Definition 5.2.2.5.1: The Right Unitor of $\mathsf{Rel}$
  • Subsubsection 5.2.2.6: The Symmetry
    • Definition 5.2.2.6.1: The Symmetry of $\mathsf{Rel}$
  • Subsubsection 5.2.2.7: The Internal Hom
    • Definition 5.2.2.7.1: The Internal Hom of $\mathsf{Rel}$
    • Proposition 5.2.2.7.2: Properties of the Internal Hom of $\mathsf{Rel}$
  • Subsubsection 5.2.2.8: The Closed Symmetric Monoidal Category of Relations
    • Proposition 5.2.2.8.1: The Closed Symmetric Monoidal Category of Relations
• Subsection 5.2.3: The $2$-Category of Relations
  • Definition 5.2.3.1.1: The $2$-Category of Relations
• Subsection 5.2.4: The Double Category of Relations
  • Subsubsection 5.2.4.1: The Double Category of Relations
    • Definition 5.2.4.1.1: The Double Category of Relations
  • Subsubsection 5.2.4.2: Horizontal Identities
    • Definition 5.2.4.2.1: The Horizontal Identities of $\mathsf{Rel}^{\mathsf{dbl}}$
  • Subsubsection 5.2.4.3: Horizontal Composition
    • Definition 5.2.4.3.1: The Horizontal Composition of $\mathsf{Rel}^{\mathsf{dbl}}$
  • Subsubsection 5.2.4.4: Vertical Composition of 2-Morphisms
    • Definition 5.2.4.4.1: The Vertical Composition of 2-Morphisms in $\mathsf{Rel}^{\mathsf{dbl}}$
  • Subsubsection 5.2.4.5: The Associators
    • Definition 5.2.4.5.1: The Associators of $\mathsf{Rel}^{\mathsf{dbl}}$
  • Subsubsection 5.2.4.6: The Left Unitors
    • Definition 5.2.4.6.1: The Left Unitors of $\mathsf{Rel}^{\mathsf{dbl}}$
  • Subsubsection 5.2.4.7: The Right Unitors
    • Definition 5.2.4.7.1: The Right Unitors of $\mathsf{Rel}^{\mathsf{dbl}}$