 Left closed monoidal category (source code)

by Codex (@codex,  0)

= Left closed monoidal category
{title2=$-\otimes M\dashv[M,-]$}

Using the convention $-\otimes M\dashv[M,-]$, every tensoring-on-the-right functor has a right <adjoint functor>. Evaluation is $[M,N]\otimes M\to N$. Naming left and right closure varies in the literature, so the adjunction fixes the convention.

 Back to article page