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,
.
-
•
Examples of 2-categorical epimorphisms in $\boldsymbol {\mathsf{Rel}}$, following Chapter 8: Relations,
.
-
•
Examples of left Kan extensions and left Kan lifts in $\boldsymbol {\mathsf{Rel}}$.
-
•
Examples of functors satisfying the conditions described in Chapter 11: Categories.
