Braided distributivity

Andreas Blass, Yuri Gurevich

In category-theoretic models for the anyon systems proposed for topological quantum computing, the essential ingredients are two monoidal structures, $\oplus$ and $\otimes$. The fo…