Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2024/iii/paper-119/5/a/solution

Let be a symmetric monoidal category. A -enriched category has objects, hom-objects , composition morphisms
and unit morphisms satisfying the associative and unit diagrams. Its underlying ordinary category has hom-sets
If is closed, take its internal hom as hom-object. Composition is the transpose of evaluation
and the unit is the transpose of . This is the self-enrichment of a closed symmetric monoidal category.

New to topics? Read the docs here!