String diagrams, adjunction and autonomous categories.

As shown by Baez, in an autonomous category the isomorphism hom(A (X) B, C) = hom (B, A -o C), when drawn as a string diagram, is like the bending of the input wire A to make it an output. Now one can also draw string diagrams to represent the zigzag equations between the adjoint pair of functors _ (X) B and B -o _. How does the latter diagram relate to the former one? [For admin and other information see: http://www.mta.ca/~cat-dist/ ]