この資料をSMS送信: Kan extensions are partial colimits