এই পাঠটি: Kan extensions are partial colimits