Definition and low-dimensional structure. In terms of functor boxes. See also. Right adjoint to oplax is lax lax promonoidal functor Tags: monoidal category, multicategory.