Free braided monoidal category on one object
ID: free-braided-monoidal-category-on-one-object
The braided monoidal category generated by one object: objects are parenthesized tensor expressions in that object and the unit, and morphisms are structural isomorphisms and crossings subject to precisely the monoidal category and braiding axioms.
New to topics? Read the docs here!