שליחה במסרון: Kan extensions are partial colimits