enrichment on a premonoidal category

Back: premonoidal category, enriched category.