Re: autonomous terminology: WAS: bilax monoidal functors