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