A monoidal adjunction between two lax monoidal functors
Monoidal adjunction: A concept in category theory involving the combination of two functors (like maps) with specific properties, often related to "lax" or "weak" structures.