The tensor by a symmetric monoidal category is left adjoint to the exponential symmetric monoidal category. Fox’s theorem
