Stav dette: Kan extensions are partial colimits