Potentially interesting examples to add include, but are definitely not limited to:
-
•
Examples of 2-categorical monomorphisms in $\boldsymbol {\mathsf{Rel}}$, following Chapter 8: Relations, Section 8.4.8.
-
•
Examples of 2-categorical epimorphisms in $\boldsymbol {\mathsf{Rel}}$, following Chapter 8: Relations, Section 8.4.10.
-
•
Examples of left Kan extensions and left Kan lifts in $\boldsymbol {\mathsf{Rel}}$.
-
•
Examples of functors satisfying the conditions described in Chapter 11: Categories .
