Kan extensions along promonoidal functors. Day, Brian, Street, Ross (1995) Theory and Applications of Categories [electronic only]