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

Noticed something off, or have any comments? Feel free to reach out!


You can also use the contact form below: