Monday, 2 October 2006

ct.category theory - Candidate definitions for "1-braided 2-category"?

Recall that a braided monoidal category is a category mathcalC, a functor otimes:mathcalCtimesmathcalCtomathcalC satisfying some properties, and a natural isomorphism bV,W:VotimesWtoWotimesV satisfying some properties. Recall also that a monoidal category (just mathcalC,otimes and their properties) is the same as a one-element 2-category: the objects of mathcalC become the morphisms, and the monoidal structure becomes composition.



Thus, is there a natural definition of "1-braided 2-category"? I'm calling it "1-braided" because the braiding acts on 1-morphisms (as opposed to "braided monoidal 2-category", where the braiding acts on the 0-morphisms).



I realize, of course, that if V,W are morphisms of a 2-category so that VcircW is defined, then generally WcircV is not defined, so a priori asking for any relationship VcircWcongWcircV doesn't make sense. On the other hand, consider Aaron Lauda's categorification of Uq(mathfraksl2). It is a 2-category, but different hom-sets can be more-or-less identified.

No comments:

Post a Comment