enrichment on a premonoidal category

Last updated Dec 2, 2024

Back: premonoidal category, enriched category.