Re: Terminology problem with monoidal adjunctions