Self-enrichment of a closed symmetric monoidal category
= Self-enrichment of a closed symmetric monoidal category
A closed symmetric monoidal category enriches over itself using its internal hom objects. Composition is adjoint to the composite of evaluation morphisms.