Free braided monoidal category on one object
= Free braided monoidal category on one object
{title2=$\mathcal Fbr$}
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.