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.

See also: Closed monoidal category, Closed category, Mathematics, Tensor product