Left closed monoidal category ($-\otimes M⊣[M,-]$)

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.