 Frobenius monoidal functor

A lax monoidal functor $\phi$ and opmonoidal functor $\psi$ on the same underlying functor, satisfying ${\psi }_{A\otimes B,C}{\phi }_{A,B\otimes C}=({\phi }_{A,B}\otimes 1)(1\otimes {\psi }_{B,C})$ and ${\psi }_{A,B\otimes C}{\phi }_{A\otimes B,C}=(1\otimes {\phi }_{B,C})({\psi }_{A,B}\otimes 1)$ in coherent notation. It transports dual pairs in a monoidal category and Frobenius monoids.