consider an adjunction formula_3 between two categories formula_4 and formula_5 where formula_6 is left adjoint of formula_7 and the natural transformations formula_8 and formula_9 are respectively the unit and the counit. the string diagrams corresponding to these natural transformations are: