Revisions to What structure on a monoidal category would make its 2-category of module categories monoidal and braided?

Bounty Ended with 250 reputation awarded by Ben Webster♦

occurred Dec 8, 2009 at 22:44

fixed terminology

Source Link

edited Dec 7, 2009 at 15:31

27.5k
3
91
171

Here is one set of data that will be sufficient. To get the monoidal structure you don't actually need a ("bilinear"monoidal) functor $C \to C \boxtimes C$. It is sufficient to have a bimodule category M from C to $C \boxtimes C$. You will also need a counit $C \to Vect$, and these will need to give C the structure of a (weak) comonoid in the 3-category of tensor categories, bimodule categories, intertwining functors, and natural transformations.

To compute what the induced tensor product does to two given module categories you will have to "compose" the naive tensor product with this bimodule category. This can be computed by an appropriate (homotopy) colimit of categories. It is basically a larger version of a coequalizer diagram. This is right at the category number where you will start to see interesting phenomena from the "homotopy" aspect of this colimit, which I think explains the funny behavior you're noticing with regards to bases.

Finally, you may get a braiding by having an appropriate isomorphism of bimodule categories,

$ M \circ \tau \Rightarrow M$

which satisfies the obvious braiding axioms. Here $\tau$ is the usual "flip" bimodule.

Here is one set of data that will be sufficient. To get the monoidal structure you don't actually need a ("bilinear") functor $C \to C \boxtimes C$. It is sufficient to have a bimodule category M from C to $C \boxtimes C$. You will also need a counit $C \to Vect$, and these will need to give C the structure of a (weak) comonoid in the 3-category of tensor categories, bimodule categories, intertwining functors, and natural transformations.

To compute what the induced tensor product does to two given module categories you will have to "compose" the naive tensor product with this bimodule category. This can be computed by an appropriate (homotopy) colimit of categories. It is basically a larger version of a coequalizer diagram. This is right at the category number where you will start to see interesting phenomena from the "homotopy" aspect of this colimit, which I think explains the funny behavior you're noticing with regards to bases.

Finally, you may get a braiding by having an appropriate isomorphism of bimodule categories,

$ M \circ \tau \Rightarrow M$

which satisfies the obvious braiding axioms. Here $\tau$ is the usual "flip" bimodule.

Here is one set of data that will be sufficient. To get the monoidal structure you don't actually need a (monoidal) functor $C \to C \boxtimes C$. It is sufficient to have a bimodule category M from C to $C \boxtimes C$. You will also need a counit $C \to Vect$, and these will need to give C the structure of a (weak) comonoid in the 3-category of tensor categories, bimodule categories, intertwining functors, and natural transformations.

To compute what the induced tensor product does to two given module categories you will have to "compose" the naive tensor product with this bimodule category. This can be computed by an appropriate (homotopy) colimit of categories. It is basically a larger version of a coequalizer diagram. This is right at the category number where you will start to see interesting phenomena from the "homotopy" aspect of this colimit, which I think explains the funny behavior you're noticing with regards to bases.

Finally, you may get a braiding by having an appropriate isomorphism of bimodule categories,

$ M \circ \tau \Rightarrow M$

which satisfies the obvious braiding axioms. Here $\tau$ is the usual "flip" bimodule.

Source Link

created Dec 7, 2009 at 13:16

Chris Schommer-Pries

27.5k
3
91
171

Here is one set of data that will be sufficient. To get the monoidal structure you don't actually need a ("bilinear") functor $C \to C \boxtimes C$. It is sufficient to have a bimodule category M from C to $C \boxtimes C$. You will also need a counit $C \to Vect$, and these will need to give C the structure of a (weak) comonoid in the 3-category of tensor categories, bimodule categories, intertwining functors, and natural transformations.

To compute what the induced tensor product does to two given module categories you will have to "compose" the naive tensor product with this bimodule category. This can be computed by an appropriate (homotopy) colimit of categories. It is basically a larger version of a coequalizer diagram. This is right at the category number where you will start to see interesting phenomena from the "homotopy" aspect of this colimit, which I think explains the funny behavior you're noticing with regards to bases.

Finally, you may get a braiding by having an appropriate isomorphism of bimodule categories,

$ M \circ \tau \Rightarrow M$

which satisfies the obvious braiding axioms. Here $\tau$ is the usual "flip" bimodule.

Stack Exchange Network

Return to Answer