tensor of monoidal categories
The tensor by a symmetric monoidal category is left adjoint to the exponential symmetric monoidal category.
Search
The tensor by a symmetric monoidal category is left adjoint to the exponential symmetric monoidal category.