Recall that a braided monoidal category is a category , a functor satisfying some properties, and a natural isomorphism satisfying some properties. Recall also that a monoidal category (just and their properties) is the same as a one-element 2-category: the objects of 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 are morphisms of a 2-category so that is defined, then generally is not defined, so a priori asking for any relationship doesn't make sense. On the other hand, consider Aaron Lauda's categorification of . It is a 2-category, but different hom-sets can be more-or-less identified.
No comments:
Post a Comment