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