Text this: Kan extensions are partial colimits