However, if we add is a swapping profunctor,

\$\sigma : A \otimes B \nrightarrow B \otimes A \$

then every profunctor can be given an isomorphic profunctor where when as string diagrams all the string arrows point in the same direction.