 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.

This is the right-adjoint form of Kan extension; left Kan extension is its left-adjoint counterpart.