发送短信: Kan extensions are partial colimits