8.4.12 Internal Kan Extensions and Lifts

The $2$-category $\boldsymbol {\mathsf{Rel}}$ admits all right Kan extensions and right Kan lifts, though not all left Kan extensions and neither does it admit all left Kan lifts. See Chapter 9: Constructions With Relations, Section 9.2 for a detailed discussion of this.


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


You can also use the contact form below: