Right Kan extension
= Right Kan extension
{c}
{wiki=Kan_extension}
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].
= Right Kan extension
{c}
{wiki=Kan_extension}
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].