Lax monoidal functor

Last updated Feb 22, 2025

• Right adjoint to oplax is lax.

Tags: monoidal category.