Self-enrichment of a closed symmetric monoidal category
ID: 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.
New to topics? Read the docs here!