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

[Alan Jeffrey <ajeffrey@bell-labs.com>]

Indeed, a categorification of Garside's embedding of the positive braid 
monoid into the braid group is exactly what I'm after.  Unfortunately, 
the nearest published result I've been able to find is:

    Left-Garside categories, self-distributivity, and braids
    Patrick Dehornoy
    http://ambp.cedram.org/item?id=AMBP_2009__16_2_189_0

which shows this result for "the positive braid category", which has 
natural numbers as objects, and braids as morphisms (and hence there are 
only morphisms m --> n when m = n).  The case of a freely generated lax 
braided monoidal category isn't covered, although it may follow similarly.

There's a couple of related works:

    Garside categories, periodic loops and cyclic sets
    David Bessis
    http://arxiv.org/abs/math/0610778

    Garside and locally Garside categories
    François Digne and Jean Michel
    http://arxiv.org/abs/math/0612652

but they don't appear to have exactly the categorification of Garside 
either.

A.

On 11/29/2010 04:24 PM, Ross Street wrote:
> 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
>

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