TIL: monoids and graphical language
Jan. 23rd, 2018 11:15 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
timeletshttps://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.
