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