Seol mar théacs é seo: Kan extensions are partial colimits