Closed monoidal category
In mathematics, a monoidal closed category is a closed category with an associative tensor product which is adjoint to the internal homomorphism.
In mathematics, a monoidal closed category is a closed category with an associative tensor product which is adjoint to the internal homomorphism.