 Right Kan extension

The right Kan extension along $K:\mathcal{C}\to \mathcal{D}$ is the right adjoint to precomposition by $K$ between suitable functor categories.