monoidal terminology