= Solution
Let $(\mathcal V,\otimes,I)$ be a <symmetric monoidal category>. A $\mathcal V$-<enriched category> has objects, hom-objects $\mathcal C(A,B)\in\mathcal V$, composition morphisms
$$
\mathcal C(B,C)\otimes\mathcal C(A,B)\to\mathcal C(A,C),
$$
and unit morphisms $I\to\mathcal C(A,A)$ satisfying the associative and unit diagrams. Its <underlying category of an enriched category>[underlying ordinary category] has hom-sets
$$
\mathcal V(I,\mathcal C(A,B)).
$$
If $\mathcal V$ is closed, take its internal hom $[A,B]$ as hom-object. Composition is the transpose of evaluation
$$
[B,C]\otimes[A,B]\otimes A\to[B,C]\otimes B\to C,
$$
and the unit is the transpose of $I\otimes A\cong A$. This is the <self-enrichment of a closed symmetric monoidal category>.
Back to article page
