3 Relations

• Chapter 8: Relations
  • Section 8.1: Relations
  • Section 8.2: Examples of Relations
  • Section 8.3: Categories of Relations
  • Section 8.4: Categories of Relations With Apartness Composition
  • Section 8.5: Properties of the 2-Category of Relations
  • Section 8.6: Properties of the 2-Category of Relations With Apartness Composition
  • Section 8.7: The Adjoint Pairs $R_{!}\dashv R_{-1}$ and $R^{-1}\dashv R_{*}$
  • Section 8.8: The Left Skew Monoidal Structure on $\mathbf{Rel}(A,B)$
  • Section 8.9: The Right Skew Monoidal Structure on $\mathbf{Rel}(A,B)$
• Chapter 9: Constructions With Relations
  • Section 9.1: Co/Limits in the Category of Relations
  • Section 9.2: More Constructions With Relations
• Chapter 10: Conditions on Relations
  • Section 10.1: Primordial Conditions on Relations
  • Section 10.2: Reflexive Relations
  • Section 10.3: Symmetric Relations
  • Section 10.4: Transitive Relations
  • Section 10.5: Equivalence Relations
  • Section 10.6: Quotients by Equivalence Relations