I have to do some messy calculations with weak 2-functors between bicategories, and I know the most efficient way to do it would be via some sort of string diagram methods. Also, i …

Hi, In a strict monoidal category, where the associator, left and right unitor are identity morphisms we have the following relations between (string) diagrams: where $i_x$ and …