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.