Văn bản này: Kan extensions are partial colimits