Lax monoidal functor

• Right adjoint to oplax is lax.

Tags: monoidal category.