string diagrams are the internal language of monoidal categories

Last updated Apr 23, 2024

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

• The missing string diagrams adjunction