symmetric monoidal adjunctions