Email Record: Kan extensions in enriched category theory