Textmeddelande: Kan extensions are partial colimits