2 Relations

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