Remark 11.1.9. Internal homs are unique if they exist. When they exist for every \(Z\), the assignment \(Z\mapsto \iHom (X,Z)\) defines a right adjoint to \(-\otimes X\colon C\to C\). A symmetric monoidal \(\infty \)-category admitting all internal homs is also called closed.
Generated from the authoritative LaTeX source.