There exists an adjunction between polygraphs and strict monoidal categories whose left adjoint is given by string diagrams. The missing string diagrams adjunction