Re: Is "braided monoidal" a conservative extension of "lax braided monoidal"?

Dear Alan The positive braid monoid is a Garside monoid and it embeds in the braid group. (It is not generally true that a monoid embeds in its group of fractions. There is a literature on Garside monoids.) I think this may be what you need. Ross On 30/11/2010, at 3:34 AM, Alan Jeffrey wrote:

The motivation for asking this question is that string diagrams are a proof technique for braids, and I'd like to be able to use them for lax braids too, but this requires braiding to be a conservative extension of lax braiding.

[For admin and other information see: http://www.mta.ca/~cat-dist/ ]