 Left closed monoidal category

Using the convention $-\otimes M⊣[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.