Kan extensions in enriched category theory / - Dubuc, Eduardo J. (Springer-Verlag,, 1970)