Potentially interesting examples to add include, but are definitely not limited to:
- Examples of 2-categorical monomorphisms in $\textbf{Rel}$, following Chapter 6: Relations, Section 6.3.8.
- Examples of 2-categorical epimorphisms in $\textbf{Rel}$, following Chapter 6: Relations, Section 6.3.10.
- Examples of left Kan extensions and left Kan lifts in $\textbf{Rel}$.
- Examples of functors satisfying the conditions described in .
