The left Kan extension of along is universal among functors on equipped with a transformation from to their restriction along . When it exists, it is left adjoint to precomposition. For small indexing categories and cocomplete , it is computed by comma-category colimits.
New to topics? Read the docs here!