Lax monoidal functor

Redirect to: