 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.