2 Relations

• Chapter 6: Relations
  • Section 6.1: Relations
  • Section 6.2: Categories of Relations
  • Section 6.3: Properties of the $2$-Category of Relations
  • Section 6.4: The Left Skew Monoidal Structure on $\mathbf{Rel}\webleft (A,B\webright )$
  • Section 6.5: The Right Skew Monoidal Structure on $\mathbf{Rel}\webleft (A,B\webright )$
• Chapter 7: Constructions With Relations
  • Section 7.1: Co/Limits in the Category of Relations
  • Section 7.2: Kan Extensions and Kan Lifts in the $2$-Category of Relations
  • Section 7.3: More Constructions With Relations
  • Section 7.4: Functoriality of Powersets
• Chapter 8: Equivalence Relations and Apartness Relations
  • Section 8.1: Reflexive Relations
  • Section 8.2: Symmetric Relations
  • Section 8.3: Transitive Relations
  • Section 8.4: Equivalence Relations
  • Section 8.5: Quotients by Equivalence Relations