-
1.
The existence or non-existence of Kan extensions and Kan lifts in the $2$-category $\boldsymbol {\mathsf{Rel}}$ (
).
-
2.
The various kinds of constructions involving relations, such as graphs, domains, images, unions, intersections, products, converse relations, composition of relations, and collages (Section 9.2).
-
1.
Co/limits in $\boldsymbol {\mathsf{Rel}}$.
9 Constructions With Relations
This chapter contains some material about constructions with relations. Notably, we discuss and explore:
This chapter is under revision. TODO:
