Describir: Kan extensions are partial colimits