Kan extensions are partial colimits