Kan extension

The left (Lan) or right (Ran) Kan extension of F : 𝒞 → 𝓔 along K : 𝒞 → 𝒟 is the universal functor 𝒟 → 𝓔 with a natural transformation to/from F∘K. 'All concepts are Kan extensions' (Mac Lane).