3 Relations

• Chapter 8: Relations
  • Section 8.1: Relations
  • Section 8.2: Examples of Relations
  • Section 8.3: Categories of Relations
  • Section 8.4: Properties of the $2$-Category of Relations
  • Section 8.5: The Adjoint Pairs $R_{!}\dashv R_{-1}$ and $R^{-1}\dashv R_{*}$
  • Section 8.6: The Left Skew Monoidal Structure on $\mathbf{Rel}\webleft (A,B\webright )$
  • Section 8.7: The Right Skew Monoidal Structure on $\mathbf{Rel}\webleft (A,B\webright )$
• Chapter 9: Constructions With Relations
  • Section 9.1: Co/Limits in the Category of Relations
  • Section 9.2: Kan Extensions and Kan Lifts in the $2$-Category of Relations
  • Section 9.3: More Constructions With Relations
• Chapter 10: Conditions on Relations
  • Section 10.1: Functional and Total 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