Terminology problem with monoidal adjunctions