Lax monoidal functor

Last updated Nov 12, 2024

Tags: monoidal category