In category theory, string diagrams are a way of representing 2-cells in 2-categories. == Definition == The idea is to represent structures of dimension d by structures of dimension 2-d, using the Poincaré duality. Thus, The parallel composition of 2-cells corresponds to the horizontal juxtaposition of diagrams and the sequential composition to t...