Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
I have changed the first sentence
The parenthesized braid operad an operad in groupoid modelled on the braid group.
to
The parenthesized braid operad is an operad in Grpd modelled on the braid group.
Okay?
Then I have added hyperlinks and gave the theorems their theorem formatting environment.
Concerning what is now theorem 1: I feel this needs to go with some kind of pointer to the relation between operads and monoidal categories and the term “free braided monoidal category” should probably appear. But myself, I won’t edit further now.
1 to 4 of 4