Right Kan extension
= Right Kan extension
{c}
The right Kan extension along $K:\mathcal C\to\mathcal D$ is the right adjoint to precomposition by $K$ between suitable <functor category>[functor categories].
This is the right-adjoint form of <Kan extension>; left Kan extension is its left-adjoint counterpart.