nLab braided monoidal 2-category

Context

Monoidal categories

monoidal categories

With traces

• trace

• traced monoidal category?

In higher category theory

2-Category theory

2-category theory

Contents

Idea

A braided monoidal 2-category is a 2-category $C$ equipped with a tensor product $\otimes :C×C\to C$ 2-functor which satisfies the first in a hierarchy of conditions for being commutative up to equivalence: in the language of k-tuply monoidal n-categories a braided monoidal 2-category is a doubly monoidal 2-category.

As described there, this may be identified with a pointed 4-category with a single object and a single 1-morphism.

Properties

Picard 2-groupoid

The Picard 2-groupoid of a braided monoidal 2-category is a braided 3-group.

References

(…)

Revised on April 8, 2013 22:28:06 by Urs Schreiber (82.113.99.18)