Observation 21.4.2. Note that the left Kan extension of a functor \(F\colon I \to C\) along the functor \(p_I \colon I \to *\) is precisely a colimit of \(F\). Dually, a right Kan extension of \(F\) along \(p_I\) is a limit of \(F\).
Generated from the authoritative LaTeX source.