IV.D464 — Enriched Category

A category C is enriched over a monoidal category (V, , I) when the Hom-sets are replaced by Hom-objects:...