TIL: monoids and graphical language

[timelets]

https://arxiv.org/pdf/1003.4394.pdf

An equational statement between morphisms in a monoidal category is provable from the axioms of monoidal categories if and only if it is derivable in the graphical language.