nLab
monoidal bicategory

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

Monoidal categories

monoidal categories

With symmetry

With duals for objects

With duals for morphisms

With traces

  • trace

  • traced monoidal category?

Closed structure

Special sorts of products

Semisimplicity

Morphisms

Examples

Theorems

In higher category theory

2-Category theory

2-category theory

Definitions

Transfors between 2-categories

Morphisms in 2-categories

Structures in 2-categories

Limits in 2-categories

Structures on 2-categories

Contents

Idea

A monoidal bicategory is a bicategory with a monoidal structure, which is up-to-equivalence in a suitable bicategorical sense. A concise definition is that a monoidal bicategory is a tricategory with one object. Just as every tricategory is equivalent to a Gray-category, every monoidal bicategory is equivalent to a Gray-monoid, i.e. a monoid in the monoidal category Gray.

Just as monoidal categories also come in braided and symmetric versions, monoidal bicategories have three extra levels of commutativity (see the periodic table and the stabilization hypothesis): braided, sylleptic, and symmetric.

Examples

For R a commutative ring, there is a symmetric monoidal bicategory Alg(R) whose

The monoidal product is given by tensor product over R.

By delooping this once, this gives an example of a tricategory with a single object.

The tricategory statement follows from theorem 21 of

This, and that the monoidal bicategory is even symmetric monoidal is given by the main theorem in

Coherence theorems

References

Slightly different definitions of these various structures can be found in the following sequence of papers:

  • Kapranov and Voevodsky, in “2-categories and Zamolodchikov tetrahedra equations” and “Braided monoidal 2-categories and Manin-Schechtman higher braid groups”, defined braided Gray monoids, i.e. Gray-monoids with a braiding.

  • Baez and Neuchl, in “Higher-Dimensional Algebra I. Braided monoidal 2-categories” corrected the KV definition by adding one axiom.

  • Day and Street, in “Monoidal bicategories and Hopf algebroids,” gave a definition of braided Gray-monoid equivalent to Baez-Neuchl, and also defined sylleptic and symmetric Gray-monoids and functors between them.

  • Crans, in “Generalized centers of braided and sylleptic monoidal 2-categories,” further modified the definition by adding an axiom relating to the tensor unit.

  • McCrudden?, in “Balanced coalgebroids,” defined braided and sylleptic monoidal bicategories (not Gray monoids).

  • Chris Schommer-Pries, in his Ph. D. thesis, gave the full definition of braided, sylleptic, and symmetric monoidal bicategories and also assembled them into a tricategory.

  • Nick Gurski, in “Loop spaces, and coherence for monoidal and braided monoidal bicategories” arXiv, proved a strictification theorem relating all these definitions, along with a coherence theorem for the braided case (but not yet the sylleptic or symmetric ones).

Revised on May 4, 2013 00:19:05 by Urs Schreiber (150.212.93.134)
Edit | Back in time (12 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: Day convolution, monoidal category, tensor product, symmetric monoidal category, braided monoidal category, action, multicategory, opposite category, periodic table, cartesian monoidal category, k-tuply monoidal n-category, Gray-category, cartesian closed category, locally cartesian closed category, Crans-Gray tensor product, monoidal model category, pushout-product axiom, closed monoidal category, strict monoidal category, dagger-compact category, trace, dualizable object, string diagram, compact closed category, k-tuply monoidal (n,r)-category, star-autonomous category, closed monoidal structure on presheaves, exponential object, distributive category, monoidal (infinity,1)-category, symmetric monoidal (infinity,1)-category, fusion category, rigid monoidal category, semisimple category, modular tensor category, symmetric monoidal functor, semicartesian monoidal category, cartesian bicategory, braided monoidal 2-category, tensor category, monoidal functor, oplax monoidal functor, Hopf algebroid, internal category in a monoidal category, coherence theorem for monoidal categories, tensor power, monoidal categories - contents, closed functor, monoidal bicategory, pivotal category, bicartesian closed category, finite quantum mechanics in terms of dagger-compact categories, compact double category, symmetric monoidal dagger-category, symmetric algebra, ribbon category, category with duals, twist, bimonoidal category, spherical category, monoid axiom in a monoidal model category, symmetric monoidal (infinity,n)-category, model structure on monoids in a monoidal model category, premonoidal category, cartesian functor, monoidal structure map, cartesian closed (infinity,1)-category, category of monoids, closed monoidal (infinity,1)-category, braided monoidal functor, Hopf adjunction, evaluation map, Frobenius monoidal functor, bilax monoidal functor, monoidal Quillen adjunction, commutative monoid in a symmetric monoidal (infinity,1)-category, fully dualizable object, enriched bicategory, (infinity,n)-category with duals, Spanier-Whitehead duality, monoidal derivator, Picard group, contents of contents, Mac Lane's proof of the coherence theorem for monoidal categories, Picard 3-group, cartesian closed functor, promonoidal category, Deligne tensor product of abelian categories, symmetric multicategory, coherence theorem for symmetric monoidal categories, permutative category, bipermutative category, tensor product of modules, internal hom of chain complexes, tensr product of chain complexes, tensor product of chain complexes, tensor product of abelian groups, coherence theorem for braided monoidal categories, coherence theorem for monoidal bicategories, coherence theorem for braided monoidal bicategories, coherence theorem for symmetric monoidal bicategories, sylleptic monoidal 2-category, Picard 2-group, Picard infinity-group, cartesian monoidal (infinity,1)-category, monoidal (2,1)-category, Drinfeld center